Skip to content

I came across this repo. Can you describe this project a bit more? #1

@simkimsia

Description

@simkimsia

Hi there,

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.

Thank you 🙏

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions