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