Copertina

Teaching "Foundations of Mathematics" with the Lean Theorem Prover

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bottoni, Mattia Luciano, Cattaneo, Alberto S., Sacikara, Elif
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	History and Overview
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Teaching Mathematics for Economists
di: Hillebrand, Eric
Pubblicazione: (2025)

Using GXWeb for Theorem Proving and Mathematical Modelling
di: Todd, Philip, et al.
Pubblicazione: (2024)

The Folding Mathematics
di: Morye, Archana S.
Pubblicazione: (2025)

Stamps and Mathematics
di: Ivanova, Nataliya M.
Pubblicazione: (2024)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
di: Ruggeri, Tommaso, et al.
Pubblicazione: (2025)

An Episode in The Old Mathematical Intelligencer
di: Lamm, Christoph
Pubblicazione: (2025)

Fraudulent Publishing in the Mathematical Sciences
di: Agricola, Ilka, et al.
Pubblicazione: (2025)

Mathematics in art, for art and as art
di: Esteban, Maria J.
Pubblicazione: (2025)

AlephZero and Mathematical Experience
di: DeDeo, Simon
Pubblicazione: (2023)

Bridging Classical and Modern Approaches to Thales' Theorem
di: Błaszczyk, Piotr, et al.
Pubblicazione: (2025)

Indigenous Mathematics I. Smoke Telegraphy
di: Ball, Rowena
Pubblicazione: (2025)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
di: Mangum, Chad R.
Pubblicazione: (2025)

AI for Mathematics: Progress, Challenges, and Prospects
di: Ju, Haocheng, et al.
Pubblicazione: (2026)

Approximating Mathematical Constants using Minecraft
di: Lynch, Molly, et al.
Pubblicazione: (2024)

Elements of the Theory of Probability and Mathematical Statistics
di: Chinarova, Lidiia L., et al.
Pubblicazione: (2024)

Mathematics -- an imagined tool for rational cognition
di: Čulina, Boris
Pubblicazione: (2023)

From Concrete to Abstract in Indian Mathematics
di: Dasgupta, Jaidev
Pubblicazione: (2024)

Mathematics education research must be useful for the classroom
di: Essien, Anthony A., et al.
Pubblicazione: (2025)

Report on the 63rd Annual International Mathematical Olympiad
di: Bajnok, Béla
Pubblicazione: (2025)

A review of Alfred North Whitehead's "Introduction to Mathematics"
di: Hales, Thomas
Pubblicazione: (2024)

A Mathematical Model of The Effects of Strike On Nigerian Universities
di: Isere, Abednego Orobosa
Pubblicazione: (2024)

A Brief Review of Fixed Points, Hex Game and Hex Theorem
di: Yang, Cho
Pubblicazione: (2025)

Mean Value Theorems and L'Hospital-Type Rules for Regulated Functions
di: Ghatasheh, Ahmed
Pubblicazione: (2023)

Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
di: Espín, José Ginés, et al.
Pubblicazione: (2025)

A life in Mathematical Analysis: a conversation with Luigi Rodino
di: Nicola, Fabio
Pubblicazione: (2025)

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
di: Wang, Siyuan, et al.
Pubblicazione: (2025)

Collaborative Preferences for Learning Mathematics: A Scale Validation Study
di: Kim, Sang Hyun, et al.
Pubblicazione: (2025)

Mathematics A Missing Factor in Assessing the Antiquity of Vedanga Jyotisa
di: Dasgupta, Jaidev
Pubblicazione: (2025)

Waterproof: Educational Software for Learning How to Write Mathematical Proofs
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2022)

Multiple Forms of Knowing in Mathematics: A Scoping Literature Study
di: Xu, Hongzhang, et al.
Pubblicazione: (2024)

Developing a Learner-Centered Teaching Routine
di: Jang, Hyeeun
Pubblicazione: (2025)

Learning and Teaching Calculus Through Its History
di: Gamage, Chamila
Pubblicazione: (2026)

Calculus for the Modern Engineer: Putting the Joy Back in Learning Advanced Mathematics
di: Grizzle, Jessy
Pubblicazione: (2025)

Andr{é} and Simone Weil: Mathematics, social activism and Indian culture
di: Papadopoulos, Athanase, et al.
Pubblicazione: (2025)

Are University Budget Cuts Becoming A Threat to Mathematics? with Additional Discussion
di: Fuller, Edgar J.
Pubblicazione: (2024)

When Mathematics Meets Painting: Fibonacci Geometry, Cubism and Visual Abstraction
di: Mondal, Shankhadeep, et al.
Pubblicazione: (2026)

Student Explanation Strategies in Postsecondary Mathematics and Statistics Education: A Scoping Review
di: Gao, Huixin, et al.
Pubblicazione: (2025)

Enhancing Primary Teacher Training through Academic Portfolios in Advanced Mathematics Courses
di: Bruna, Carlos Rojas
Pubblicazione: (2025)

How to Fight Fraudulent Publishing in the Mathematical Sciences: Joint Recommendations of the IMU and the ICIAM
di: Agricola, Ilka, et al.
Pubblicazione: (2025)

Supplementary Private Tutoring and Mathematical Achievements in Higher Education: An Empirical Study on Linear Algebra
di: Lin, Xuefei, et al.
Pubblicazione: (2024)