bollu / minitt

bollu learns implementation of dependent typing
25Updated last year

Related projects

Alternatives and complementary repositories for minitt