vishallama/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
CoqMIT
No issues in this repository yet.
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
CoqMIT
No issues in this repository yet.