Open Internet by MindsNet

Proof Assistants

Coq, Lean, Agda for computer-verified proofs

Computing & Technology, Computer Science, Theoretical Computer Science