Giters
ppedrot
/
ll-coq
Some Coq formalizations of Linear Logic
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
4
Issues:
0
Forks:
3
ppedrot/ll-coq Stargazers
Guillaume Claret
clarus
Alex Gryzlov
clayrat
Daniel Frumin
co-dan
Daniel Hilst
dhilst
Nikita
nikitavoloboev
Pierre-Marie Pédrot
ppedrot
aramya
thamugadi