Proof Assistants For Education: Members
- Affiliation
- Université Grenoble Alpes
- Discipline
- Computer Sciences; Mathematics
- Location
- Grenoble
-
- Discipline
- Astronomy and Astrophysics; Computer Sciences; Mathematics; Applied Mathematics
- Location
- France
- Affiliation
- Universidade de Brasília
- Discipline
- Computer Sciences; Mathematics
- Location
- Brasília
- Affiliation
- University of Turin
- Discipline
- Philosophy; Computer Sciences; Mathematics; Physics
- Location
- Italy
