vlad2305m / proof-outline-checker Goto Github PK
View Code? Open in Web Editor NEWThis project forked from btj/proof-outline-checker
A checker for Hoare logic proof outlines written as Python programs with assert statements
Home Page: https://vlad2305m.github.io/proof-outline-checker/
License: MIT License