Bart Jacobs's repositories
proof-outline-checker
A checker for Hoare logic proof outlines written as Python programs with assert statements
Language:Java000
browserify-sign
createSign and createVerify in your browser
ghostsignals-coq
ghostsignals-coq
Language:CNOASSERTION000
Language:Java000
Language:Java000
Language:Java000
lijstiteratoren
lijstiteratoren
Language:Java000
Language:Java000
Language:Java000