Coq'Art

https://github.com/rocq-community/coq-art

Coq'Art is the familiar name for the first book on the Coq proof assistant and its underlying...

Tokens:47,164
Snippets:358
Trust Score:8.4
License:MIT
Update:6 months ago
Tokens:
Raw