Commit e8be300

committed

Standardize workspace: Justfile migration and A2ML directive cleanup

1 parent 4654410 commit e8be300Copy full SHA for e8be300

3 files changed

Justfile
proofs/lean4
- CNO.lean
- LambdaCNO.lean

Comments

(0)