DawnTheWitch

Pinned Repositories

• Peirce-My-Heart

  A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

  Language:TypeScript80

DawnTheWitch's Repositories