You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Property testing + verification most important, then summarization (less important but eventually want to work on it), then lemma proving (low priority, maybe never but good to have for complex lemmas).
K dependency update needs to be fixed - @geo2a has a similar case in Kontrol I think? Can we reproduce?
A possible need to codify what the state of ML connectives in K is? The booster internalises as terms of sort Bool - what can be written? What can't be?
The text was updated successfully, but these errors were encountered:
Bool
- what can be written? What can't be?The text was updated successfully, but these errors were encountered: