Mathematical Proof Assistants for Teaching Logic : The LogiKEy Methodology
Benzmüller, Christoph; Fuenmayor, David; Pasetto, Luca (2026): Mathematical Proof Assistants for Teaching Logic : The LogiKEy Methodology, in: arXiv, S. 1–29, doi: 10.48550/arxiv.2610.08214.
Faculty/Chair:
Author:
 ;  ; 
Publisher Information:
Year of publication:
2026
Pages:
Language:
English
DOI:
Type:
Preprint
URI:
Activation date:
October 7, 2026

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/117577