Stephen Diehl
Stephen Diehl
Index
Blog
Python
Mathematics
Logic Programming
Physics
Functional Programming
Artificial Intelligence
Compilers
Formal Methods
Public Policy
Haskell
Writings
Contact Me
PGP Key
Github
RSS
Posts tagged "lean"
Proving Trivial Theorems in Lean
- February 1, 2024
View all tags