Definitional Skolem constants - #3960

Open

unp1 wants to merge 1 commit into

mainfrom

bubel/definitional-skolems-on-main

Commits on Aug 14, 2026

Create skolem constants at rule application and read their introduction time from the constant itself
unp1
committed
ad575b7