Proof assistants for teaching: a survey - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Dates et versions

hal-04705596 , version 1 (23-09-2024)

Licence

Identifiants

  • HAL Id : hal-04705596 , version 1

Citer

Frédéric Tran Minh, Laure Danthony,gonnord, Julien Narboux. Proof assistants for teaching: a survey. The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24), Jul 2024, Nancy, France. ⟨hal-04705596⟩
5 Consultations
2 Téléchargements

Partager

More