Select proof tree to work on

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

Select proof tree to work on #274

Closed AnushaTiwari5 closed 10 months ago

AnushaTiwari5 commented 11 months ago

Making pr to merge into 230-proof-history for #264

AnushaTiwari5 commented 11 months ago

Nvm reopening so dawn can see changes and pull into 230 accordingly This will remain a draft and will be closed without merging to master, all these changes will be merged into #264