AIbase
Product LibraryTool 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.

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