January 2026 cohort / Education
Explicit Logic Trees
OnlineInteractive logic calculators help learners explore first-order and propositional formulas and their normal forms.
- Status
- Onlinesince Nov 5, 2026
- First launched
- Jan 13, 2026
- Category
- Education
- Type
- Desktop app
- Pricing
- Open source
- Domain
- treeofknowledge.eu
History
Launched
Online
· online
- Last checked Nov 5, 2026