https://github.com/gvwilson/sdxl
Software Design by Example in Lean
https://github.com/gvwilson/sdxl
lean4 open-source tutorial
Last synced: 8 days ago
JSON representation
Software Design by Example in Lean
- Host: GitHub
- URL: https://github.com/gvwilson/sdxl
- Owner: gvwilson
- License: other
- Created: 2026-05-16T02:15:39.000Z (about 1 month ago)
- Default Branch: main
- Last Pushed: 2026-05-16T02:42:59.000Z (about 1 month ago)
- Last Synced: 2026-05-16T04:48:19.962Z (about 1 month ago)
- Topics: lean4, open-source, tutorial
- Language: Lean
- Homepage: https://gvwilson.github.io/sdxl/
- Size: 138 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0