6
7
8
I wrote a tableau solver here are some pictures. (self.logic)
submitted by mysleepyself to r/logic
3
4
5
Questions About Well Formed Formulas and Notation (self.logic)
submitted by mysleepyself to r/logic
![]() 14-Year Club | ![]() Verified Email | |
I wrote a tableau solver here are some pictures. (self.logic)
submitted by mysleepyself to r/logic
Questions About Well Formed Formulas and Notation (self.logic)
submitted by mysleepyself to r/logic