search

ideas-edu / logictools

Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1 stars 0 forks source link

Rework LogEq to send whole state #382

Closed BenEdV closed 2 years ago

BenEdV commented 2 years ago

Resolves #368 Test here

Ik heb de hint nog niet geïmplementeerd, de toon stap functionaliteit zou wel moeten werken. Het sluiten van het bewijs werkt soms wel en soms niet, misschien moeten we ook dingen aan de achterkant hiervoor aanpassen.

BenEdV commented 2 years ago

Ik zie ook dat als er notequiv fout wordt gemaakt dan gaat het hele systeem mis. Dit zal ik nog fixen

BenEdV commented 2 years ago

Ik heb de hints gemaakt. Ik moest wel de specialdistrnotr regel nog toevoegen. Zijn er andere nieuwe regels die er nog niet in zitten. Op het moment sluit het bewijs nooit goed af. Ook heb ik bij opgave vijf een probleem bij de laatste hint dat hij het de eerste keer niet goed meestuurt, maar ik denk dat dit meer een gevolg is van het probleem met het sluiten