Add an input to create initial tree from list of premises - Githubissues

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap

2 stars 3 forks source link

Add an input to create initial tree from list of premises #15

Closed McTano closed 5 years ago