Skip to content

Definitional Skolem constants - #3960

Merged
Drodt merged 2 commits into
mainfrom
bubel/definitional-skolems-on-main
Aug 17, 2026
Merged

Definitional Skolem constants#3960
Drodt merged 2 commits into
mainfrom
bubel/definitional-skolems-on-main

Merge branch 'main' into bubel/definitional-skolems-on-main

29b0e13
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formatting
succeeded Aug 17, 2026 in 50s