promachina

promachina/iut-lean

0 stars 1 forks 0 watchers Lean Other
View on GitHub
1 Open Issue Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub
Optional: split Step XI Core.lean and investigate its largest declarations about 3 hours ago
enhancement help wanted
promachina/iut-lean
0

Lean