Loading today’s stories
project
Dependently typed proof assistant (formerly Coq) grouped with Lean as a functional language and proof assistant in the same family.
No evidence-backed relationships are recorded.
No current published clusters are mapped here yet.