owings1 / pytableaux

multi-logic proof generator

https://logic.dougowings.net

8200

owings1/pytableaux Stargazers

Yad Konrad
0bserver07
André Meyer-Vitali
apmv
jgreen819903
lcarrolldds
Doug Owings
owings1
thyecust
thyecust
Gregory Gerasev
uhbif19
Vivek Joshy
vivekjoshy

Links

ProductDiscover

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

Contact Site Admin: Giters.