/Ethics

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

Primary LanguageHTML

This repository is not active