AIbase
ProduktbibliothekTool Navigation

stuff-in-agda

Public

Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.

Erstellungszeit2017-10-31T06:42:20
Aktualisierungszeit2025-02-12T04:38:49
9
Stars
0
Stars Increase