Equality reasoning in Vampire
Speaker: Marton Hajdu2026-02-19
Marton Hajdu from the Vampire team will present his work on equality reasoning in the Vampire tool.
Abstract
TBD
Marton Hajdu from the Vampire team will present his work on equality reasoning in the Vampire tool.
TBD