search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Support FOL checking #87

Open McTano opened 4 years ago