Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Homotopy Type Theory receives $7.5 million DoD grant
cmu.edu
3 points
ihnorton
12 years ago
No comment yet
Homotopy Type Theory receives $7.5 million DoD grant | Heykuki News