Skip to content

fix #1371#1372

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom digama0:gh1371Dec 12, 2024

Commits

Commits on Dec 11, 2024