HOL extra changes (don't merge)#853

Open

mezpusz wants to merge 10 commits into

ahmed-new-holfrom

Commits on Mar 21, 2025

Commits on Jul 15, 2025

emergency GDV fixes for HOL
MichaelRawson
committed

Commits on Feb 17, 2026

multiple conjectures are fine (the E-way)
quickbeam123
committed

Commits on Feb 24, 2026

let's try tgt (for HOL) which does not name higher-order creatures
quickbeam123
committed
guard the new modification of HOL tgt behind an option
quickbeam123
committed

Commits on Mar 2, 2026

introduce typeCons early during parsing
quickbeam123
committed

Commits on Mar 3, 2026

no use of FORALL/EXISTS proxy
quickbeam123
committed

Commits on Mar 4, 2026

some ad hoc fixing of statistics
quickbeam123
committed

Commits on Mar 23, 2026

fix: pushed proxies are terms (TM)
quickbeam123
committed