Interoperable and Confident Set-based Proof Assistants

- English
- Français

Home
Partners
Publications
- English
- Français
Internal documents
Search for:

Home

Welcome to the home page of the ICSPA project.

This project (ANR-21-CE25-0015) is funded is a research project funded by the French national agency ANR, for a period of 4 years and was started on January 1, 2022.

To private section

Comments are closed.

This text can be changed from the Miscellaneous section of the settings page.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, cras ut imperdiet augue.

Powered by Nirvana & WordPress. Mentions légales & CGU & Politique de confidentialité & Cookies

We are using cookies to give you the best experience on our website.

You can find out more about which cookies we are using or switch them off in settings.

Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

Enable or Disable Cookies

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.