emsenn

Tag: lean

10 items with this tag.

Mar 01, 2026
Curriculum of Lean
- proof-assistant
- lean
Mar 01, 2026
Lean Skills
- proof-assistant
- lean
Mar 01, 2026
Lean Terms
- proof-assistant
- lean
Mar 01, 2026
Introduction to Lean
- proof-assistant
- lean
Mar 01, 2026
Tactics in Lean
- proof-assistant
- lean
Mar 01, 2026
Types and Propositions in Lean
- proof-assistant
- lean
Mar 01, 2026
SKILL
Mar 01, 2026
Mathlib
Mar 01, 2026
tactic
- proof-assistant
- lean
Mar 01, 2026
theorem
- proof-assistant
- lean

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.