@jbmilgrom.bsky.social
Reposted
this is a really good introduction into how proofs sit in the Lean type system xenaproject.wordpress.com/2020/06/20/m...
Mathematics in type theory.
An explanation of how to set up mathematics using universes, types, and terms
xenaproject.wordpress.com
February 7, 2025 at 6:13 PM
this is a really good introduction into how proofs sit in the Lean type system xenaproject.wordpress.com/2020/06/20/m...