koehlma / rigorous

A framework for working with inference rules.

koehlma/rigorous Stargazers

Sam Ezeh
dignissimus
enggerard
jeffamaxey
Jack Feser
jfeser
Jan Reineke
jreineke
Louis Maddox
lmmx
Mahmoud Rusty Abdelkader
mahmoudimus
Michaela Klauck
MKlauck
MonikaKlauck
Saul Shanabrook
saulshanabrook

Links

ProductDiscover

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

Contact Site Admin: Giters.