Bram van Heuveln comments

Repositories
Issues
Comments

Results 4 comments of


                                            Bram van Heuveln

[ENHANCEMENT] Main LEGUP tutorial page

Tutorial page now has some content ... though it currently mostly focuses on rules. I think we should still add some info as to how to use LEGUP in general,...

[BUG] [Light-Up] Bug with Satify Number Case rule

I found *another* one of those! See second .zip file attached here [AnotherBugWithLightUpSatisfyNumberCaseRule.zip](https://github.com/Bram-Hub/LEGUP/files/12807617/AnotherBugWithLightUpSatisfyNumberCaseRule.zip)

[ENHANCEMENT] Add more flag options for Short Truth Table files

See #74 : When the old 'normal' flag was set to false, you can 'manually' indicate truth-values. For example, the input file could reflect something like: P->Q ; T P...

[ENHANCEMENT] Improve batch grader speed with multithreading

I am pretty sure that Chase implemented the suggestion you make at the end: that the saved file for a completed proof will contain a flag of correctness that the...