Skip to content

Definitional Skolem constants - #3960

Open
unp1 wants to merge 1 commit into
mainfrom
bubel/definitional-skolems-on-main
Open

Definitional Skolem constants#3960
unp1 wants to merge 1 commit into
mainfrom
bubel/definitional-skolems-on-main

Create skolem constants at rule application and read their introducti…

ad575b7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testMtStress, ubuntu-latest, 21)
succeeded Aug 14, 2026 in 7m 11s