Not a very catchy name I know. At least it looks nice:
A graphical proof assistant for Peirce's Alpha system. Supports the equivalence and inference rules.
Depends on system SDL2; other dependencies are distributed as source. Build with GNU Make.
To compile for emscripten, use:
USE_EMSCRIPTEN=1 CC=emcc CXX=em++ make- ImGui is licensed under the MIT license.
- utf8proc is licensed under the MIT license.
- zpr and zbuf are licensed under the Apache 2.0 license.