Giters

arosien / sequentish

You Didn't Know It, but You Really Want to Learn Sequent Calculus

Home Page:https://arosien.github.io/sequentish/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

About

You Didn't Know It, but You Really Want to Learn Sequent Calculus

https://arosien.github.io/sequentish/

License:Apache License 2.0

Languages

Language:Scala 90.5%Language:CSS 7.8%Language:Shell 1.7%