coc

The calculus of constructions

MIT License

Stars
6