Coqtail

  •        0

COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.

http://coqtail.sourceforge.net

Tags
Implementation
License
Platform

   




Related Projects

coqtailparty - You're invited to a Coqtail Party!


You're invited to a Coqtail Party!