Proofs and programs: classical tools
8 ECTS, semester 2, 12 weeks
| Program requirements | CC+examen |
| Teacher | Guillaume Geoffroy et Hugo Herbelin |
| Weekly hours | 4.0 h CM |
| Years | Master Logique Mathématique et Fondements de l'Informatique M2 Logos |
| Program requirements | CC+examen |
| Teacher | Guillaume Geoffroy et Hugo Herbelin |
| Weekly hours | 4.0 h CM |
| Years | Master Logique Mathématique et Fondements de l'Informatique M2 Logos |