Future funding

One critical task for OpenDreamKit is to support the long term sustainability of its ecosystem. This includes securing future funding for its activities, and finding ways to extend the positions of the great personnel we were lucky to hire so that they can keep supporting our communities.

ODK continuation Proposal: FAIRmat (FAIR Mathematical Data for the European Open Science Cloud)

Learn more >

Logipedia - an OpenDreamKit for Theorem Proving?

Learn more >