search

jaccokrijnen / plutus-cert

0 stars 2 forks source link

Split up Semantics.Multisubstitution.Congruence #39

Open jaccokrijnen opened 1 year ago

jaccokrijnen commented 1 year ago

And check if there's overlap with lemmas for DSP of DeadCode.