Section: New Results
SMT and Coq
Chantal Keller has enhanced the performances of her SMT-Coq interface based automatic tactic. More precisely, the code has been made more modular which allowed:
Chantal Keller has enhanced the performances of her SMT-Coq interface based automatic tactic. More precisely, the code has been made more modular which allowed: