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