Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
TextbookAutomation
Proving things about numerical methods in Lean4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
3mo ago
Recent commits
Latest commits.
Make some args implicit for neatness
83549a2
James Hetherington
3mo ago
Generalise a proof over types
06e1796
James Hetherington
3mo ago
Add the chain proof
d9e35ad
James Hetherington
3mo ago
Moved the norm about
6fd1fa6
James Hetherington
3mo ago
Proved 1.4 in two ways
7ca551a
James Hetherington
3mo ago
Done bar the lemmas
13bb6dd
James Hetherington
3mo ago
1.4 converse reduced to a theorem on real sets
00ba311
James Hetherington
3mo ago
More thoughts on theorem 1.4 converse
03ba243
James Hetherington
3mo ago
Top contributors
Builders behind this project.
jamespjh
30 commits
