Hongjian Jiang's repositories
Language:HTML000
Language:Isabelle000
Language:Isabelle000
Language:Python000
SafetyProtocol
Protocol described in A&B language transforms into another theory prover
Language:OCaml000
Language:IsabelleMIT000
000
000
000
Protocol described in A&B language transforms into another theory prover