A reader’s request for more examples of animated logical graphs prompted me to look again at the User Guide for my Theme One Program, whose exposition develops a series of logical graphs increasing in complexity from extremely simple to more substantial than any I’ve posted so far.
I’m thinking now it may be worthwhile to look at those examples again and see if they’re suitable for recycling as a series of blog posts.
- Logical Graphs
- Proof Animations
- Survey of Theme One Program
- Survey of Animated Logical Graphs
- Propositional Equation Reasoning Systems