Jianlin Li

Jianlin Li

I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →

New Homepage

https://jianlin-herman-li.github.io/