search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Finish removing the FiraLogic submodule #109

Closed lf- closed 3 years ago

lf- commented 3 years ago

Seems like it was not deleted successfully last time.