RAIRLab/Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScriptMIT
Issues
- 0
- 1
Code Cleanup Master Issue
#241 opened - 3
Fix redraw issues in deletion tools.
#240 opened - 0
Tree Equality
#235 opened - 0
Mode vs Tool
#233 opened - 0
- 2
Move AEGs from draw mode to proof mode
#229 opened - 1
Save and load proofs as the history of AEGs
#228 opened - 0
- 0
Double Cut Delete (Easier)
#221 opened - 1
- 1
- 0
- 0
Double Cut Insert (Easier)
#215 opened - 0
- 2
- 3
Proof Mode Master Issue
#208 opened - 1
Migrate HTML to Pug
#207 opened - 0
- 1
Delete Mode Broken State Glitch
#200 opened - 0
Protect the gh-pages branch
#199 opened - 1
Toggle to Proof Mode
#197 opened - 0
- 0
Fix delete, make sheet delete
#195 opened - 0
- 0
Copy bug
#189 opened - 2
Boxpocalypse!
#180 opened - 2
More Themes!
#179 opened - 3
Fix Ellipse Bounding Box Colors
#178 opened - 0
FileUtils.ts still in master
#170 opened - 0
Custom Cursors
#167 opened - 1
- 0
Get CTRL+S working for slow download!
#163 opened - 0
AEGTree.test.ts
#158 opened - 0
Remove doesn't work correctly!
#157 opened - 0
- 1
Fix existing documentation!
#154 opened - 0
Move mode for the AEGTree!
#153 opened - 0
Delete mode for the AEGTree!
#152 opened - 0
Copy mode for the AEGTree!
#151 opened - 0
Workflow Improvements!
#148 opened - 0
Playwright Tests!
#147 opened - 0
- 1
Export does not work on Electron App
#141 opened - 0
Clear canvas on load
#139 opened - 1
Issues with window resize and move.
#138 opened - 0
- 0
Implement changeable themes.
#134 opened - 0
- 1
CutNode.tests.ts
#127 opened