https://github.com/brendanzab/lean_tutorial_exercises

Answers to the exercises in the Lean tutorial
https://github.com/brendanzab/lean_tutorial_exercises

dependent-types exercise-solutions lean

Last synced: about 1 month ago
JSON representation

Answers to the exercises in the Lean tutorial

• Host: GitHub
• URL: https://github.com/brendanzab/lean_tutorial_exercises
• Owner: brendanzab
• Created: 2016-10-01T02:30:23.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2016-10-08T10:49:45.000Z (about 8 years ago)
• Last Synced: 2024-10-13T13:29:43.501Z (2 months ago)
• Topics: dependent-types, exercise-solutions, lean
• Language: Lean
• Size: 2.93 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project