Mihail Tifrea's repositories
platform
Multi platform setup for Coq, Coq libraries and tools
Language:ShellCC0-1.0000
Barbayanni
Milestone 1 project for Data Intensive Systems
Language:Shell000
Multi platform setup for Coq, Coq libraries and tools
Milestone 1 project for Data Intensive Systems