{"ref":"master","ref_type":"branch","master_branch":"master","description":"two minimalist program correctness components based on hoare semigroups implemented in isabelle/hol.","pusher_type":"user"}
{"actor":{"display_login":"gstruth"}}