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
It would be nice to be able to refine specifications from abstract to more concrete, similar in concept to Peter Lammich's work.
However, it should be more in the style of Alpinist, i.e. not fully verifying each step of the refinement workflow itself.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
It would be nice to be able to refine specifications from abstract to more concrete, similar in concept to Peter Lammich's work.
However, it should be more in the style of Alpinist, i.e. not fully verifying each step of the refinement workflow itself.
Beta Was this translation helpful? Give feedback.
All reactions