Closed TimothyGillespie closed 5 years ago
The examples.json in src/components/propositionalLogic/examples.json should contain at least three sensible examples which will work in the sandbox proofeditor.
Added the examples on branch RonjaKaehne/examplePage
The examples.json in src/components/propositionalLogic/examples.json should contain at least three sensible examples which will work in the sandbox proofeditor.