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
The Nekoka project aims to enhance automated proof systems for higher-order logic, making them more user-friendly and efficient. By integrating advanced theorem provers into interactive tools, it seeks to improve software and mathematical verification processes while fostering a community around these technologies.
Proof assistants (also called interactive theorem provers) have a long history of being very tedious to use.
The situation has improved markedly in the past decade with the integration of first-order automatic theorem provers as backends.
And recently, there have been exciting developments for more expressive logics, with the emergence of automatic provers based on optimized higher-order calculi.
The Nekoka project's aim is to make higher-order SMT and -superposition a perfect fit for logical pr…
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
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.
