safe SMT-based constraint solving with `cvc.lean`
1 min read · February 11, 2025
2025 · cvc5 smt lean · talks
API and tactics in cvc.lean
1 min read · September 10, 2024
2024 · cvc5 smt lean · talks