Geeks
xuanruiqi
/
categories
Categories in Coq using SSReflect and packed classes
Primary Language
Coq
MIT License
MIT
categories GitHub
Markdown
Readme
0
Issues
7
Stargazers
2
Watchers
Stargazers
chenzhawyang
Changzhou, China
dannypsnl
@second-state
jonsterling
University of Cambridge
josephjohncox
United States
k27c8ff627uxz
Lapin0t
tkersey
@thisisartium