Geeks
acowley
/
LinearLogic
A simple development of linear logic in Coq.
Primary Language
Coq
LinearLogic GitHub
Markdown
Readme
0
Issues
12
Stargazers
6
Watchers
Stargazers
d3v3l0
Munich
dwbcampbell
Waterloo, Ontario, Canada
kai-qu
liufengyun
Oracle Labs
lulucca12
markfarrell
Canada
mmaz
Harvard University
mooreniemi
Boston, MA
takeoutweight
Vancouver, Canada
tautologico
UFPB
TheNomadicMonad
tigerneil
Center for Safe AGI