RAIRLab/Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScriptMIT
Issues
- 0
[FEATURE] Clean Dream Theme Streamline!
#397 opened - 1
- 0
- 0
- 0
- 2
Firefox Cannot Save or Load Files
#388 opened - 0
- 0
Miscellaneous Janitorial Duties!
#380 opened - 0
- 0
Add support for Dependabot Group PRs
#362 opened - 0
- 0
Remove Electron and Remove Playwright.
#343 opened - 0
Fix external dependencies to use NPM
#341 opened - 3
Vitest Suite Additions!
#334 opened - 0
Replace atoms with text images
#332 opened - 1
/src/ docs!
#331 opened - 1
The PMH Book and User Manual
#329 opened - 0
AEG construction from propositional formulae
#327 opened - 1
- 0
- 0
- 1
Remove the "website" portion of the project.
#322 opened - 0
Gamma Existential Graph Support
#320 opened - 0
Get Playwright off the Master Branch!
#319 opened - 0
UI and Branding Overhaul
#318 opened - 0
- 0
Lots of Errors for Draw Mode Resize!
#316 opened - 0
- 0
/ProofTools/ Documentation!
#314 opened - 0
- 0
DrawTools Documentation Updates!
#309 opened - 0
SharedToolUtils Documentation updates!
#301 opened - 0
- 0
- 0
Empty Node in the history
#285 opened - 0
Clear Proofs
#284 opened - 3
- 0
Global Drag mode in proof mode
#271 opened - 0
Ctrl+Z Ctrl+Y for Proof and Draw modes
#270 opened - 0
Update typedoc entry points
#269 opened - 1
- 0
- 0
- 0
- 0
Deiteration (Easier)
#257 opened - 0
Vite 5 Migration
#256 opened - 0
Iteration (Harder)
#251 opened - 0
- 3
- 1
Non movement indicator bugged out
#246 opened