10.4204/eptcs.419.1

Journal Name

Electronic Proceedings in Theoretical Computer Science

Publication Year

2025

Authors

Frédéric Tran Minh, gonnord Laure Danthony, Julien Narboux

Publications Date

Wed, 05/07/2025 - 12:00

DOI

10.4204/eptcs.419.1

Publication Source

OpenAlex

DOI URL

https://doi.org/10.4204/eptcs.419.1

Locations

Lower Campus

Matched RRIDs

RRID:SCR_025113

RRID:SCR_023720

Is Open Access

True

Cited By Count

4

Facilities

Dietrich School Electronics Shop

Dietrich School Machine Shop

Long Title

Proof Assistants for Teaching: a Survey

OpenAlex ID

https://openalex.org/W4402755700

RRID Searched Term

RRID:SCR_025113