Open Internet by MindsNet

Agda

Dependently typed functional programming language doubling as a proof assistant

Mathematics & logic, Mathematics, Mathematical Logic