Demo for high-performance type theory elaboration
Why do you think that https://gitlab.com/avidela/recombine is a good alternative to smalltt
Demo for high-performance type theory elaboration
Why do you think that https://gitlab.com/avidela/recombine is a good alternative to smalltt