Skip to content

Allow InstantiateForall to weaken sequents#169

Merged
sankalpgambhir merged 1 commit intoepfl-lara:mainfrom sankalpgambhir:inst-weakeningJul 3, 2023

Commits

Commits on Jul 3, 2023