heqin-zhu / system-L

:arrow_right:Formal logic deduction based on system-L

Geek Repo

Github PK Tool