Stephen Diehl
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Quantitative Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
RSS
Posts tagged "lean"
Buddhist Four-Fold Logic with Lean 4
- March 6, 2025
View all tags