Follow-up to Thinking about Implementation from Logic Teaching Tool
From the project specification:
Detailed feature list following research into existing theorem proving / proof editing tools. For review.
These past two weeks have been spent considering the implementation. Following some initial research into other proof editors and theorem solvers, it became apparent that the exercise was fruitless, purely because the aims of the project are clear enough to make other (similar) implementations irrelevant. Perhaps in the construction of the writeup, a small section on other tools will be included.
Add a commentYou are not allowed to comment on this entry as it has restricted commenting permissions.