lean (proofs)

Tags: mechanized proofs

• https://xenaproject.wordpress.com/what-is-the-xena-project/
• https://en.wikipedia.org/wiki/Lean_(proof_assistant)