Giters
acowley
/
LinearLogic
A simple development of linear logic in Coq.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
6
Issues:
0
Forks:
2
acowley/LinearLogic Stargazers
d3v3l0
Douglas W. Campbell
dwbcampbell
kai
kai-qu
Fengyun Liu
liufengyun
Lucca G. P.
lulucca12
Mark Farrell
markfarrell
Mark Mazumder
mmaz
Alex Moore-Niemi
mooreniemi
Nathan Sorenson
takeoutweight
Andrei Formiga
tautologico
TheNomadicMonad