rocq-community/coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Language: Coq - Size: 545 KB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 120 - Forks: 24

baberrehman/coqart

Language: Coq - Size: 346 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0