C

coq-mtac2

Project information

Mtac2 tactic language for Coq

44 Commits
3 Branches
21 Tags

README
MIT License
CHANGELOG

Created on

July 16, 2022

Loading