C

coq-ext-lib

Project information

Collection of theories and plugins for Coq

39 Commits
3 Branches
20 Tags

README
BSD 2-Clause "Simplified" License

Created on

June 28, 2022

Loading