tbitai / ruzsa

Analytic tableau proof editor for Tarski's World

https://ruzsa.tbitai.me

Geek Repo

Github PK Tool