C

coq-extructures

Project information

data structures with extensional reasoning for Coq

32 Commits
3 Branches
15 Tags

README
MIT License
CHANGELOG

Created on

July 16, 2022

Loading