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

8 stars 0 forks source link

Closed RyanR712 closed 3 weeks ago

RyanR712 commented 3 months ago

Condense the number of themes down to only...

Implementing these will reduce the number of atom images necessary to generate in #332 and maintain our stance on accessibility.

315 may be worth tackling here too.