issues
search
RAIRLab
/
Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
10
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump vite from 4.5.0 to 5.0.10
#326
dependabot[bot]
closed
9 months ago
3
Change proof file naming convention to work on everything.
#325
James-Oswald
closed
6 months ago
1
Automated truth-table based AEG theorem checking.
#324
James-Oswald
opened
10 months ago
0
Add JSON Schema validation for AEG and Proof JSON
#323
James-Oswald
opened
10 months ago
0
Remove the "website" portion of the project.
#322
James-Oswald
closed
9 months ago
1
Get Playwright off the Master Branch!
#321
RyanR712
closed
10 months ago
0
Gamma Existential Graph Support
#320
James-Oswald
opened
10 months ago
0
Get Playwright off the Master Branch!
#319
RyanR712
closed
10 months ago
0
UI and Branding Overhaul
#318
James-Oswald
opened
10 months ago
0
Improve proof compression via diffs rather than snapshots
#317
James-Oswald
opened
10 months ago
0
Lots of Errors for Draw Mode Resize!
#316
RyanR712
closed
10 months ago
0
Add alternating background colors to show distinction between odd and even levels of EGs
#315
James-Oswald
closed
3 months ago
0
/ProofTools/ Documentation!
#314
RyanR712
closed
10 months ago
0
Move Current README to Wiki tab! Write End User README!
#313
RyanR712
opened
10 months ago
0
Bump vite from 4.5.0 to 5.0.8
#312
dependabot[bot]
closed
10 months ago
3
Custom Cursors!
#311
RyanR712
closed
10 months ago
0
DrawTools Documentation
#310
RyanR712
closed
10 months ago
2
DrawTools Documentation Updates!
#309
RyanR712
closed
10 months ago
0
Bump @playwright/test from 1.39.0 to 1.40.1
#308
dependabot[bot]
closed
10 months ago
0
Bump vitest from 0.34.6 to 1.0.4
#307
dependabot[bot]
closed
9 months ago
4
Bump @types/node from 20.10.3 to 20.10.4
#306
dependabot[bot]
closed
10 months ago
3
Bump playwright from 1.39.0 to 1.40.1
#305
dependabot[bot]
closed
10 months ago
0
vertical scroll on history bar
#304
AnushaTiwari5
closed
10 months ago
0
proof drawn on proof load fix
#303
AnushaTiwari5
closed
10 months ago
1
SharedToolUtils Docs!
#302
RyanR712
closed
10 months ago
1
SharedToolUtils Documentation updates!
#301
RyanR712
closed
10 months ago
0
Loading a proof from a file requires you to click the last node in the proof history.
#300
James-Oswald
closed
10 months ago
0
Version 1.0.0
#299
James-Oswald
closed
10 months ago
0
Proof history not generated for loaded proofs
#298
AnushaTiwari5
closed
10 months ago
0
Generates history bar for proofs loaded in
#297
AnushaTiwari5
closed
10 months ago
0
Code Cleanup fix
#296
AnushaTiwari5
closed
10 months ago
0
Code Cleanup Blame fix
#295
AnushaTiwari5
closed
10 months ago
0
Code Cleanup Master tasks
#294
AnushaTiwari5
closed
10 months ago
1
Default empty node when not pasted in
#293
AnushaTiwari5
closed
10 months ago
0
Default empty node when not pasted in : )
#292
DawnTheWitch
closed
10 months ago
1
removed setTool export in index.ts
#291
AnushaTiwari5
closed
10 months ago
0
Bump vite from 4.5.0 to 5.0.5
#290
dependabot[bot]
closed
10 months ago
7
Made changes to the toggle button
#289
Subrina45
closed
10 months ago
0
Bump electron from 27.1.2 to 28.0.0
#288
dependabot[bot]
closed
10 months ago
0
284 clear proofs
#287
AnushaTiwari5
closed
10 months ago
2
No more modeState updates based on magic numbers
#286
AnushaTiwari5
closed
10 months ago
0
Empty Node in the history
#285
James-Oswald
closed
10 months ago
0
Clear Proofs
#284
James-Oswald
closed
10 months ago
0
Better delete mode highlights
#283
RyanR712
closed
10 months ago
0
Bump @types/node from 20.10.0 to 20.10.3
#282
dependabot[bot]
closed
10 months ago
0
Bump typedoc from 0.25.3 to 0.25.4
#281
dependabot[bot]
closed
10 months ago
0
Bump electron from 27.1.2 to 27.1.3
#280
dependabot[bot]
closed
10 months ago
1
Proof Mode Drag Tool
#279
DawnTheWitch
closed
10 months ago
1
Make Playwright Tests have Cross-Browser Compatibility
#278
RyanR712
closed
9 months ago
3
Typedoc entry points
#277
RyanR712
closed
10 months ago
0
Previous
Next