LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
-
Updated
Jul 18, 2024 - Lean
#
interactive-theorem-proving
Here are 12 public repositories matching this topic...
Convex optimization modeling in Lean 4
-
Updated
May 31, 2024 - Lean
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
tutorial research logic mathematics proof-assistant lean formal-methods formal-mathematics interactive-theorem-proving tu-wien formal-proofs formalisation leanprover lean4 formalized-mathematics formalisation-mathematics
-
Updated
Jan 14, 2025 - Lean
Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.
analysis geometry proof-assistant talk differential-geometry seminar formal-mathematics interactive-theorem-proving lean4 geometric-analysis lean-project lean-blueprint formalised-mathematics
-
Updated
Dec 2, 2025 - Lean
LLMs + Lean, on your laptop or in the cloud
-
Updated
Apr 18, 2024 - Lean
Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
-
Updated
Jul 24, 2023 - Lean
Explorando formalizaciones con Lean
-
Updated
Jul 9, 2022 - Lean
A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
-
Updated
Nov 8, 2023 - Lean
An experimental workspace for my master's thesis in interactive theorem proving
-
Updated
Dec 12, 2025 - Lean
DAO (Demostración Asistida por Ordenador) con Lean
-
Updated
Jun 24, 2022 - Lean
Improve this page
Add a description, image, and links to the interactive-theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interactive-theorem-proving topic, visit your repo's landing page and select "manage topics."