Geeks
mattam82
/
Forcing
Forcing layer on top of Coq
Primary Language
Coq
Forcing GitHub
Markdown
Readme
0
Issues
15
Stargazers
5
Watchers
Stargazers
bmsherman
MIT CSAIL
clayrat
IMDEA Software
csgordon
Drexel University
DKXXXL
euisuny
University of Pennsylvania
its-a-magical-world
NYC
jeremyherve
Würth Elektronik eiSos
markfarrell
Canada
mattam82
Inria
PythonCZX
rainoftime
scott-fleischman
shhyou
Taipei, Taiwan
tabareau
Inria
tkersey
@thisisartium