Hacker News new | ask | show | jobs
by pjmlp 1298 days ago
Lean maps returns into exceptions.

https://leanprover.github.io/about/