3 ms·
Possibly Coq but I've heard that it's really hard.
by michaelochurch 11y ago
Possibly Coq but I've heard that it's really hard.
- eru 11y agoSimilar-ish ideas in Coq, Agda, Idris and Isabelle. Or at least, they are trying to solve similar problems.