https://github.com/forked-from-1kasper/lean4-categories

Playing with Category Theory in Lean 4
https://github.com/forked-from-1kasper/lean4-categories

category-theory lean lean4 leanprover mathematics

Last synced: 15 days ago
JSON representation

Playing with Category Theory in Lean 4

• Host: GitHub
• URL: https://github.com/forked-from-1kasper/lean4-categories
• Owner: forked-from-1kasper
• Created: 2022-09-24T15:19:25.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2023-10-30T13:25:11.000Z (about 1 year ago)
• Last Synced: 2024-02-17T13:33:29.275Z (11 months ago)
• Topics: category-theory, lean, lean4, leanprover, mathematics
• Language: Lean
• Homepage:
• Size: 57.6 KB
• Stars: 13
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project