GitHub topics: language-proof-and-logic
tbitai/ruzsa
Analytic tableau proof editor for Tarski's World
Language: JavaScript - Size: 1.17 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
muratBekgi/Phil-09
Philosophy 09 Pierce College Online course (LPL)
Size: 768 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
Related Keywords