Work

Proceedings The 13th International Workshop on Theorem proving components for Educational software

Year: 2025

Type: paratext

Abstract: International audience

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.419

Authors: Narboux, Julien, Neuper, Walther, Quaresma, Pedro

Institutions: Université Paris Cité, Institut de Recherche en Informatique Fondamentale, Johannes Kepler University of Linz, University of Coimbra

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Quality education

Open Access status: diamond

Funder: Agence Nationale de la Recherche

Award: Proof assistants in mathematics learning - Appraising, Analyzing, Designing, Experimenting, Assessing

OpenAlex ID: W4410165359

Cites:

Cited by:

Related to: 10