https://github.com/grahamstrickland/math_lean

Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
https://github.com/grahamstrickland/math_lean

dependent-type-theory lean4 mathematics proof tactics

Last synced: 1 day ago
JSON representation

Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot

• Host: GitHub
• URL: https://github.com/grahamstrickland/math_lean
• Owner: GrahamStrickland
• Created: 2025-01-07T18:06:48.000Z (about 1 month ago)
• Default Branch: main
• Last Pushed: 2025-02-09T14:02:45.000Z (6 days ago)
• Last Synced: 2025-02-09T15:20:23.919Z (6 days ago)
• Topics: dependent-type-theory, lean4, mathematics, proof, tactics
• Language: Lean
• Homepage:
• Size: 7.81 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# math_lean

Examples and exercises from ["Mathematics in Lean"](https://leanprover-community.github.io/mathematics_in_lean/index.html) - Jeremy Avigad & Patrick Massot