Open jeswr opened 2 years ago
As discussed with @pbonte and @rubensworks it would be good to enable proof checking as part of the reasoning configuration. This also aligns with https://github.com/SolidLabResearch/Challenges/issues/21
Thanks for the suggestion!
Issue type:
Description:
As discussed with @pbonte and @rubensworks it would be good to enable proof checking as part of the reasoning configuration. This also aligns with https://github.com/SolidLabResearch/Challenges/issues/21