Skip to content

theory_hol.lp: rename T into ⊤ and F into ⊥#161

Merged
fblanqui merged 4 commits intoDeducteam:mainfrom fblanqui:topJan 10, 2025

Commits

Commits on Jan 10, 2025