bollu / minitt

bollu learns implementation of dependent typing
24Updated last year

Related projects

Alternatives and complementary repositories for minitt