RichardMoot / LinearOne

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

RichardMoot/LinearOne Stargazers

Alec Kosik
akosik
Aron Gabor
ashnur
Ayberk Tosun
ayberkt
Brendan Zabarauskas
brendanzab
BrentKylling
CapelliC
Chris Pressey
cpressey
Lîm Tsú-thuàn
dannypsnl
felko
i64
Jirka Maršík
jirkamarsik
Juan Bono
juanbono
Konstantinos Kogkalidis
konstantinosKokos
Kento Takyu
kyawaway
Mesabloo
Mesabloo
Richard Moot
RichardMoot
Symon Jory Stevens-Guille
SymonJoryStevens-Guille
Tim Kersey
tkersey

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.