Posts tagged "formal"
- Buddhist Four-Fold Logic (Catuṣkoṭi) with Lean 4 - March 6, 2025
- Types of Types: Common → Exotic - September 4, 2024
- Using SMT Solvers to Manage JIRA Tickets - February 1, 2024
- Using Google OR-Tools to do Answer Set Programming - February 1, 2024
- Proving Trivial Theorems in Lean - February 1, 2024
- Constraint Solving with MiniZinc - April 21, 2023