Skip to content

feat: Reorganise the Mathematics directory - #1710

Merged
jstoobysmith merged 7 commits into
leanprover-community:masterfrom
jstoobysmith:Mathematics
Oct 2, 2026
Merged

jstoobysmith merged 7 commits into
leanprover-community:masterfrom
jstoobysmith:Mathematics

Update AGENTS.md

97e587d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Comment a pull_request
succeeded Oct 1, 2026 in 30s