search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Check as sequent #51

Closed McTano closed 4 years ago

McTano commented 4 years ago

closes #43