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
I recently learned about hoare triple and googled "Hoare Logic Visual Studio Code" thinking maybe someone figured out a way to include hoare triple as a way to check for correctness in code in visual studio code.
That's how I found this project. Your project looks interesting, though I admit I'm out of my depth. I don't really grok the "why" behind this project. So if you be so kind to help me better understand why and how this pyrefinement is useful to developers. That would be great.