#

problem-solving-class

Here is 1 public repository matching this topic...

courses-at-nju-by-hfwei / problem-solving-class-coq

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

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.

Curate this topic

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."