promachina

promachina/iut-lean

1 good first / help-wanted issue · Lean · last activity Jul 23, 2026

0 stars 1 forks 0 watchers Lean Other

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 3 months ago

enhancement help wanted parallel-ready apx:agent-ready

promachina/iut-lean

0

Lean