3 ms·

Lean the theorem proving language?

• rosetremiere 4y ago
  Indeed, though I have no quote or link for this "claim".
  • xigoi 4y ago
    Well, functional programming is very natural for theorem provers, especially those based on the Curry-Howard correspondence.