https://github.com/hargonix/lean-monads

A formalization of Monads and friends in Lean4
https://github.com/hargonix/lean-monads

Last synced: about 2 months ago
JSON representation

A formalization of Monads and friends in Lean4

• Host: GitHub
• URL: https://github.com/hargonix/lean-monads
• Owner: hargoniX
• License: mit
• Created: 2021-10-01T14:57:56.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-10-08T09:11:49.000Z (over 3 years ago)
• Last Synced: 2024-10-13T13:28:13.957Z (3 months ago)
• Language: Lean
• Size: 8.79 KB
• Stars: 1
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project