Skip to content

pyk/konvert/_kast_to_kore: formatting

359eb3f
Select commit
Loading
Failed to load commit list.
Merged

Allow including lemmas dynamically into APRProver #4681

pyk/konvert/_kast_to_kore: formatting
359eb3f
Select commit
Loading
Failed to load commit list.