https://github.com/jaredly/coqdocs

The docs I wish I had while learning Coq
https://github.com/jaredly/coqdocs

Last synced: 5 months ago
JSON representation

The docs I wish I had while learning Coq

• Host: GitHub
• URL: https://github.com/jaredly/coqdocs
• Owner: jaredly
• Created: 2013-03-15T14:24:50.000Z (over 13 years ago)
• Default Branch: master
• Last Pushed: 2013-04-25T12:56:08.000Z (about 13 years ago)
• Last Synced: 2025-04-12T15:21:29.752Z (about 1 year ago)
• Language: Coq
• Size: 141 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.rst

Awesome Lists containing this project

README

          
CoqDocs

=======

The docs I wish I had while learning Coq