Home
2019 Project-Team Activity Report
GALLINETTE
Gallinette: developing a new generation of proof assistants
Research centre:
Rennes - Bretagne-Atlantique
In partnership with: IMT Atlantique Bretagne-Pays de la Loire, Université Nantes
In collaboration with: Laboratoire des Sciences du numerique de Nantes
In collaboration with: Laboratoire des Sciences du numerique de Nantes
Keywords:
Computer Science and Digital Science:
- A2.1.1. - Semantics of programming languages
- A2.1.2. - Imperative programming
- A2.1.3. - Object-oriented programming
- A2.1.4. - Functional programming
- A2.1.11. - Proof languages
- A2.2.3. - Memory management
- A2.4.3. - Proofs
- A7.2.3. - Interactive Theorem Proving
- A7.2.4. - Mechanized Formalization of Mathematics
- A8.4. - Computer Algebra
Other Research Topics and Application Domains:
- B6.1. - Software industry