Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-coq
Rock on Coq for the Problem Solving Class at Nanjing University
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-coq
classes coq formal-methods nanjing-university problem-solving-class proof-assistant theorem-proving tutorial
Last synced: 1 day ago
JSON representation
Rock on Coq for the Problem Solving Class at Nanjing University
- Host: GitHub
- URL: https://github.com/courses-at-nju-by-hfwei/problem-solving-class-coq
- Owner: courses-at-nju-by-hfwei
- License: mit
- Created: 2019-09-13T13:11:47.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2019-11-13T04:28:06.000Z (about 5 years ago)
- Last Synced: 2024-01-20T04:14:07.879Z (10 months ago)
- Topics: classes, coq, formal-methods, nanjing-university, problem-solving-class, proof-assistant, theorem-proving, tutorial
- Language: HTML
- Size: 5.83 MB
- Stars: 6
- Watchers: 2
- Forks: 7
- Open Issues: 1