GGrantIndex
← Search

PROPOSAL ENTITLED-"HOMOTOPY TYPE THEORY AND THE FORMALIZATION OF MATHEMATICS", DATED 25 JAN 2021 AND REVISED BUDGET DATED 1 MAR 2021.

$359,995FY2021Department of the ArmyDOD

Carnegie Mellon University, Pittsburgh PA

Investigators

View source on USAspending →
PROPOSAL ENTITLED-"HOMOTOPY TYPE THEORY AND THE FORMALIZATION OF MATHEMATICS", DATED 25 JAN 2021 AND REVISED BUDGET DATED 1 MAR 2021. · GrantIndex