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
Andy Kitchen
andykitchen
Florian R. Hanke
floere
James Davidson
jamesdavidson
kirillrdy
Philip Zucker
philzook58
Noon van der Silk
silky
TheNomadicMonad