|
|
0e6976f9b4
|
Migrate most of the codebase (sans Reaching.lean / LICM left) to projections
|
2026-07-01 22:56:29 -05:00 |
|
|
|
6c05e401c1
|
Document Program.lean
|
2026-06-29 10:42:01 -05:00 |
|
|
|
fe5098095a
|
Reorganize proofs to make 'Program' accessible to files in Language/
|
2026-06-29 10:41:40 -05:00 |
|
