Schools
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Jscoq | 496 |  | 2 | 7 months ago | 25 | October 04, 2023 | 67 | other | TypeScript | |
| A port of Coq to Javascript -- Run Coq in your Browser | ||||||||||
| Schools | 50 | 2 years ago | 2 | Coq | ||||||
| Tutorial_material | 16 | 6 months ago | 1 | Coq | ||||||
| proof script associated to tutorial material | ||||||||||
Alternatives To SchoolsSelect To Compare
Alternative Project Comparisons
Popular School Projects
Popular Coq Projects
Popular Learning Resources Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
School
Coq