Hacker News new | ask | show | jobs
by mbrodersen 1459 days ago
Other examples are Agda and Lean.