vdimir/py-refinement-lambda

Pyrefine – python code checker based on Hoare logic

Python

Readme
1Issue
9Stargazers
2Watchers

Issues

I came across this repo. Can you describe this project a bit more?
#1 opened 5 years ago by simkimsia
1

Topics

checker hoare-logic python ast

Contact site admin: Geeks.