Feat/solo core metatheory proofs - #614

Merged

hyperpolymath merged 64 commits into

mainfrom

feat/solo-core-metatheory-proofs

Jun 21, 2026

GitHub Advanced Security / Semgrep OSS failed Jun 21, 2026 in 3s

2 new alerts

New alerts in code changed by this pull request

2 warnings

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 873 in lib/interp.ml

Code scanning / Semgrep OSS

Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-read-in-binary-mode Warning

'open_in' behaves differently on Windows and on Unix-like systems with respect to line endings. To get the same behavior everywhere, use 'open_in_bin' or 'open_in_gen [Open_binary]'. If you really want CRLF-to-LF translations to take place when running on Windows, use 'open_in_gen [Open_text]'.

Check warning on line 887 in lib/interp.ml

Code scanning / Semgrep OSS

Semgrep Finding: ocaml.lang.portability.crlf-support.prefer-write-in-binary-mode Warning

'open_out' behaves differently on Windows and on Unix-like systems with respect to line endings. To get the same behavior everywhere, use 'open_out_bin' or 'open_out_gen [Open_binary]'. If you really want LF-to-CRLF translations to take place when running on Windows, use 'open_out_gen [Open_text]'.