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: 11 months 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 (over 9 years ago)
• Default Branch: master
• Last Pushed: 2016-10-08T10:49:45.000Z (over 9 years ago)
• Last Synced: 2025-01-20T00:55:30.987Z (over 1 year ago)
• Topics: dependent-types, exercise-solutions, lean
• Language: Lean
• Size: 2.93 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Lean tutorial exercises

Answers to the exercises in the [Lean tutorial](https://leanprover.github.io/tutorial/).