Follow

“[…] On average, one critical bug has been found every year in Coq.” — Coq Correct: Verification of Type Checking and Erasure for Coq, in Coq

Sign in to participate in the conversation
Aleph

Generalistic Mastodon instance for open-minded people. Instance Mastodon généraliste pour personnes ouvertes d'esprit.