https://github.com/utensil/leanblueprintexample

https://github.com/utensil/leanblueprintexample

lean lean4

Last synced: about 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/utensil/leanblueprintexample
• Owner: utensil
• License: apache-2.0
• Created: 2023-10-03T11:47:11.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-02-27T11:34:29.000Z (over 2 years ago)
• Last Synced: 2025-06-15T10:14:59.152Z (about 1 year ago)
• Topics: lean, lean4
• Language: Lean
• Homepage: https://utensil.github.io/LeanBlueprintExample/blueprint/
• Size: 6.99 MB
• Stars: 5
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project