Skip to content

improve binder preterm positions#1343

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom digama0:binder_posNov 17, 2024
+13-14

Commits

Commits on Nov 16, 2024