Experimental proof assistant (and architecture) for dependent linear logic
Why do you think that https://github.com/luispedro/diskhash is a good alternative to unfix-binders
Experimental proof assistant (and architecture) for dependent linear logic
Why do you think that https://github.com/luispedro/diskhash is a good alternative to unfix-binders