AI Came, AI Saw and AI Conquered
I Bless Thy Command Shell My Child: + {az account list --output table}
Wednesday, 29 July 2026
Theorem Proving in Lean - What Makes Dependent Type Theory Dependent?
This precis is based on the Lean Manual, Section 2.8.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment