Skip to content

typecheck listener#1346

Merged
mn200 merged 1 commit intoHOL-Theorem-Prover:developfrom digama0:typecheck_listenerNov 17, 2024

Commits

Commits on Nov 15, 2024