|
|
1b5d57bed3
|
chore(container): rebuilt silver-autoproof with 5-check pipeline
- Containerfile: COPY prove.py, verify_lean.py, frozen_template/ into image
- Systemd service: targets ComplexProjectiveSpace.lean (2 sorries)
- verify_lean.py: scoped banned keyword check (target module only, not entire formal/)
|
2026-07-04 10:20:45 -05:00 |
|
