anzenlang

presentation at the CVC5 summit

API and tactics in cvc.lean

1 min read   ·   September 10, 2024

2024   ·   cvc5   smt   lean   ·   talks