Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
dmtl4
DMTL4: Discrete Mathematics and Theory in Lean 4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
3
Last push
16mo ago
Recent commits
Latest commits.
ignore .lake files
8597256
Nick Phair
17mo ago
Fix publication of natArithmetic chapter
5d2cccf
Kevin Sullivan
17mo ago
Homework 4
95fbcd8
Kevin Sullivan
17mo ago
After class, before homework, 2/4/25.
97c2a42
Kevin Sullivan
17mo ago
Before class 02/04/25 -- review then induction
89f76b0
Kevin Sullivan
17mo ago
Updates to math before class 1/30/25
6934d2a
Kevin Sullivan
17mo ago
.
198abc0
Kevin Sullivan
17mo ago
Before clas 01/28/25
8517b0d
Kevin Sullivan
17mo ago
Top contributors
Builders behind this project.
pitype
88 commits
kevinsullivan
11 commits
nicholasphair
4 commits
