"The goal is really to have a correct proof that you can also verify in Lean" -Exploring a lecturer's perspective of using Lean in teaching

Authors

Institutions

Publication Details

Journal
SPIRE - Sciences Po Institutional REpository
Published
2025-02-04
Primary Topic
Quality and Supply Management
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

"The goal is really to have a correct proof that you can also verify in Lean" -Exploring a lecturer's perspective of using Lean in teaching

Athina Thoma, Paola Iannone
SPIRE - Sciences Po Institutional REpository
Quality and Supply Management
article

"The goal is really to have a correct proof that you can also verify in Lean" -Exploring a lecturer's perspective of using Lean in teaching

Athina Thoma, Paola Iannone
article en

Abstract

No abstract available for this paper.
SPIRE - Sciences Po Institutional REpository
Edinburgh College (GB), University of Southampton (GB), University of Edinburgh (GB)
Openalex Percentile: Top 46%
Quality and Supply Management
Open Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

"The goal is really to have a correct proof that you can also verify in Lean" -Exploring a lecturer's perspective of using Lean in teaching — Athina Thoma, Paola Iannone · SPIRE - Sciences Po Institutional REpository (2025) | TGRS Research Map | TGRS