Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
timelib
A date and time library for Lean 4
Lean
Emerging
GitHub
Stars
1
Forks
—
Contributors
3
Last push
27mo ago
Recent commits
Latest commits.
Merge pull request #6 from AdrienChampion/adrienchampion_proofs
0607427
Chris Bailey
28mo ago
formating `HClockTime`
567ff91
Adrien Champion
28mo ago
work on `ClockTime` files
586074d
Adrien Champion
28mo ago
Merge pull request #5 from AdrienChampion/adrienchampion_proofs
26b18f2
Chris Bailey
28mo ago
minor cleanup in `NaiveDateTime`
4067fab
Adrien Champion
28mo ago
Merge remote-tracking branch 'upstream/main' into adrienchampion_proofs
cdc8462
Adrien Champion
28mo ago
remove `sorry`-s from `NanoPrecision.DateTime.DateTime` and cleaning
5ef608c
Adrien Champion
28mo ago
Merge branch 'AdrienChampion-adrienchampion_proofs'
ef3be26
ammkrn
28mo ago
Top contributors
Builders behind this project.
AdrienChampion
11 commits
ammkrn
11 commits
mo271
1 commits
