Lambda term is solvable iff it has hnf (head normal form)#1156

Merged

mn200 merged 6 commits intoHOL-Theorem-Prover:developfrom binghe:solvable_iff_has_hnf

Oct 16, 2023

+1,298-464

Commits on Oct 12, 2023

Stage work on solvable_iff_has_hnf
binghe
committed

Commits on Oct 13, 2023

Commits on Oct 15, 2023