ssprove
ssprove copied to clipboard
Refactor semantics
We can discuss about it in this draft PR.
I've rebased the branch onto current main; can I force push that here or will I cause somebody's local changes to break? @kyoDralliam @TheoWinterhalter
It's okay for me.
Ok for me too