A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
10
stars
0
forks
source link
It works it is just ugly with HTML/CSS I don't know how to fix this. #264
Closed
DawnTheWitch closed 10 months ago