Stephen Diehl
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Stephen Diehl
Index
Blog
Python
Mathematics
Machine Learning
Humor
Logic Programming
Public Policy
Finance
Functional Programming
Compilers
Formal Methods
Contact Me
PGP Key
Github
Bluesky
LinkedIn
Substack
RSS
Posts tagged
formal
Four-Fold Logic with Lean
March 6, 2025
Types of Types: Common → Exotic
September 4, 2024
Using SMT Solvers to Manage JIRA Tickets
February 1, 2024
Proving Trivial Theorems in Lean
February 1, 2024
Constraint Solving with MiniZinc
April 21, 2023
Using Google OR-Tools to do Answer Set Programming
February 1, 2018
View all tags