Geeks
ammkrn
/
timelib
A date and time library for Lean 4
Primary Language
Lean
Apache License 2.0
Apache-2.0
timelib GitHub
Markdown
Readme
1
Issue
11
Stargazers
3
Watchers
Watchers
AdrienChampion
anzenlang
ammkrn
eemailme