https://github.com/fizzyelt/lean-pratice

solve lean exercises
https://github.com/fizzyelt/lean-pratice

lean lean4 pratice-exercise

Last synced: 21 days ago
JSON representation

solve lean exercises

• Host: GitHub
• URL: https://github.com/fizzyelt/lean-pratice
• Owner: FizzyElt
• Created: 2023-05-25T14:49:38.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-09-07T16:21:25.000Z (over 1 year ago)
• Last Synced: 2023-09-07T18:43:39.249Z (over 1 year ago)
• Topics: lean, lean4, pratice-exercise
• Language: Lean
• Homepage:
• Size: 37.1 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project