skbaek / EthicsLinks

I.I-XI of Spinoza's Ethics, formalized in Coq
18Updated 9 years ago

Alternatives and similar repositories for Ethics

Users that are interested in Ethics are comparing it to the libraries listed below

Sorting: