issues
search
btj
/
proof-outline-checker
A checker for Hoare logic proof outlines written as Python programs with assert statements
https://btj.github.io/proof-outline-checker/
MIT License
1
stars
2
forks
source link
QOL interface changes
#4
Open
vlad2305m
opened
1 year ago
vlad2305m
commented
1 year ago
Added a close button to the error messages
Added tooltips to shape errors that show text from cheatsheet
Added tooltip to assertion error that shows all elements that were compared