Work

Is it possible to assess the impact of proof assistants on undergraduate students' proofs? Preliminary results

Year: 2025

Type: conference-paper

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Sisco, Clara, Ouvrier-Buffet, Cécile

Institutions: Université Paris Cité, Laboratoire de Didactique André Revuz, Université Paris-Est Créteil

Language: English

Topic: Teaching and Learning Programming

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: closed

OpenAlex ID: W7077287609

FWCI:

Cites:

Cited by:

Related to: