Giters
andykitchen
/
linear-logic
Linear logic theorem prover and proof explorer
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
7
Watchers:
3
Issues:
0
Forks:
1
andykitchen/linear-logic Stargazers
Florian R. Hanke
floere
Andy Kitchen
andykitchen
James Davidson
jamesdavidson
TheNomadicMonad
kirillrdy
Noon van der Silk
silky
Philip Zucker
philzook58
