Skip to content

Activity

Classify groups of order 6, 10, 14, 9, 15

wuprpushed 2 commits to core-updates • 0b27cfd…ed9938f • 
11 days ago

Use new results in mathlib and generalise MulZMod lemmas

Force push
wuprforce pushed to core-updates • 73d6bc6…0b27cfd • 
11 days ago

Replace lakefile.lean with lakefile.toml

wuprpushed 1 commit to main • c95d556…9a814a2 • 
11 days ago

Use new results in mathlib and generalise MulZMod lemmas

Force push
wuprforce pushed to core-updates • 6a289dc…73d6bc6 • 
11 days ago

Refactor proof of a main theorem

wuprpushed 2 commits to main • 5e73b0c…c95d556 • 
11 days ago

Use new results in mathlib and generalise MulZMod lemmas

wuprcreated core-updates • 6a289dc • 
11 days ago

Bump Lean and Mathlib to v4.15.0

Force push
wuprforce pushed to main • d252988…5e73b0c • 
11 days ago

Use new results in mathlib and generalise MulZMod lemmas

Force push
wuprforce pushed to main • 00dd407…d252988 • 
13 days ago

Use new results in mathlib and generalise MulZMod lemmas

wuprpushed 3 commits to main • 4eb38e1…00dd407 • 
13 days ago

Minor formatting and naming fixes

wuprpushed 1 commit to main • c90caa1…4eb38e1 • 
on Dec 5, 2024

Bump Lean and Mathlib to v4.13.0

wuprpushed 1 commit to main • 7173622…c90caa1 • 
on Nov 7, 2024

Initial publication

wuprcreated main • 7173622 • 
on Oct 30, 2024