Geeks
bergmannjg
/
time
Port of the haskell time library to Lean 4
Primary Language
Lean
MIT License
MIT
time Home Page
time GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
Stargazers
joewatt95
chabulhwi
Seoul, Republic of Korea (South Korea)
T-Brick
tux3
ngrislain
Paris