CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to develop a new type theory that simplifies the use of homotopy type theory by making its concepts emergent rather than built-in. This approach enhances the formalization of mathematics and software verification, making proofs easier to construct and understand, thus promoting broader adoption in the…
Recent advancements have enabled proof asistants to formally verify world-class mathematics: the liquid tensor experiment, the four colour theorem and the odd order theorem were formalised.
Computer checked arguments are important for mathematicians who want to be certain their reasoning is sound, and for computer scientists to prevent bugs in safety critical software.
Examples are formally verified parts of Google's Chrome web browser and verified implementations of the C and ML programming lan…
EOTVOS LORAND TUDOMANYEGYETEM
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
