How unfortunate that this is at the same dates as Rocq’n’share! Unfortunately, this may make the Rocq community a bit less represented than it should have been at this event.
Zimmi48
2
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Proof assistants for Teaching Proof and Proving 2026, Orsay, 29 June - 3 July 2026 | 1 | 31 | April 20, 2026 | |
| Mini-symposium on proof assistants for education | 0 | 71 | February 27, 2025 | |
| New proof assistant working group at ENS de Lyon | 4 | 271 | April 15, 2026 | |
| Workshop on Theorem proving components for Educational software ThEdu26 at FLoC, Lisbon, 19 July | 0 | 12 | February 28, 2026 | |
| Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts) | 0 | 198 | December 18, 2023 |