HOL
HOL copied to clipboard

Published 20 hours ago •

HOL-Theorem-Prover

Reame
Issues

case_pred_disj_of ``:'a # 'b`` fails

Open mn200 opened this issue 3 weeks ago • 0 comments

As above

Jun 26 '24 11:06 mn200