Geeks
meta-logic
/
coq-ll
Formalization of Linear Logic in Coq
Primary Language
Coq
GNU General Public License v3.0
GPL-3.0
coq-ll GitHub
Markdown
Readme
0
Issues
14
Stargazers
6
Watchers
Stargazers
cctien
The University of Chicago
clayrat
IMDEA Software
dhilst
@versatushpc
esneko
Latvia
himito
CNRS
LouGlzHuesca
F.Ciencias UNAM
marcellop71
Rome, Italy
marcofavorito
@bancaditalia
mukeshtiwari
Swansea
olaure01
pedrotst
Indiana, USA
rigille
Mixrank
scott-fleischman
timothyklim