search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Exclude checker feedback from undo #116

Closed McTano closed 3 years ago

McTano commented 3 years ago

fixes #90