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
Proving Trivial Theorems in Lean