Projects | Open Source Science

Projects

Updated 9 months ago

agda • Rank 21.2 • Science 62%

Agda is a dependently typed programming language / interactive theorem prover.

agda dependent-types programming-language proof-assistant type-theory

Updated 9 months ago

https://github.com/bsdz/symbolize • Science 13%

Mathematical Symbol Engine

python3 symbolic-manipulation type-theory

Updated 9 months ago

agda-algebras • Science 67%

The Agda Universal Algebra Library (html docs available at the url below)

agda agda-library dependent-types foundations logic model-theory type-theory universal-algebra