GitHub - skbaek/Ethics: I.I-XI of Spinoza's Ethics, formalized in Coq · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitattributes		.gitattributes
.gitignore		.gitignore
Ethics.html		Ethics.html
Ethics.v		Ethics.v
ML.v		ML.v
MML.html		MML.html
coqdoc.css		coqdoc.css

About

I.I-XI of Spinoza's Ethics, formalized in Coq

Report repository

Releases

Packages

Contributors

Languages