Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with foundations
A curated list of projects in awesome lists tagged with foundations .
https://github.com/UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
coq coq-library foundations mathematics unimath
Last synced: 01 Aug 2024