pellissier / freespec Goto Github PK
View Code? Open in Web Editor NEWThis project forked from lthms/freespec
Compositional reasoning framework for the Coq proof assistant
Home Page: https://anssi-fr.github.io/FreeSpec
License: GNU General Public License v3.0