aspiwack / dissection-of-l

A dissection of L: article about focalised sequent calculus and dependent types

Geek Repo

Github PK Tool