Rock on Coq for the Problem Solving Class at Nanjing University
tutorial coq theorem-proving proof-assistant classes formal-methods nanjing-university problem-solving-class
- Updated
Nov 13, 2019 - HTML
#
problem-solving-class
Here is 1 public repository matching this topic...
Improve this page
Add a description, image, and links to the problem-solving-class topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the problem-solving-class topic, visit your repo's landing page and select "manage topics."