nutmeg is designed to manipulate existential graphs for propositional logic. it is a fully fledged assistant for the creation of visual proofs in a system where an eraser is the logician's most powerful tool.
the first alpha release of nutmeg is scheduled to contain full editing capabilities for existential graphs. the second alpha release will focus on proof creation and adding inference/equivalence rules. our full schedule and planned features for development will be up on our wiki. we plan to update this readme as we hit major releases.
- Casey Conway
- Brian Mottola
- YoungChul Chun (consultant)
- Bram van Heuveln (consultant)
nutmeg uses Qt C++ and should run on all major operating systems. it is currently being developed on Linux and Windows, but major releases will see builds for Apple as well.
nutmeg is currently under development. please contact us by opening an issue here on github if you wish to help out.