https://github.com/hargonix/lean4-time

A (WIP) port of Haskell's time library to lean4
https://github.com/hargonix/lean4-time

Last synced: about 2 months ago
JSON representation

A (WIP) port of Haskell's time library to lean4

• Host: GitHub
• URL: https://github.com/hargonix/lean4-time
• Owner: hargoniX
• License: mit
• Created: 2021-10-17T17:33:46.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2021-10-17T17:33:47.000Z (about 3 years ago)
• Last Synced: 2024-10-13T13:28:13.666Z (3 months ago)
• Size: 1000 Bytes
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project