Open Internet by MindsNet

Agda's Type Theory Applications

Secret type theory applications in Agda for formalizing advanced mathematical concepts.

Mathematics & logic, Logic & Reasoning, Formal Logic