C

coq-gappa

Project information

Coq tactic to use Gappa for floating-point goals

44 Commits
3 Branches
20 Tags

README
LICENSE
CHANGELOG

Created on

July 15, 2022

Loading