Repositories.md @master — view markup · raw · history · blame
Calculus of Constructions Repos
atennapel/coc-os: "operating system" based on the calculus of constructions
- url: https://github.com/atennapel/coc-os
- license: No license
- topics: Calculus of Constructions, User Interface
.