Skip to content

Add functor properties: preserve regular epis / monos#262

Merged
ScriptRaccoon merged 3 commits into
mainfrom
preserves-regular-epis
Jul 3, 2026
Merged

Add functor properties: preserve regular epis / monos#262
ScriptRaccoon merged 3 commits into
mainfrom
preserves-regular-epis

fix generation of contradiction proof

56f2f3e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar