Added some badges and platform disclaimers in the readme.

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 James-Oswald closed 3 months ago