Tirore96's repositories
CBIR
CBIR
Language:Jupyter Notebook000
Language:TeX000
emtst-proof
A subject reduction proof for binary session types
Language:CoqGPL-3.0000
HL_VC
Twelf-mechanized proof of equivalence between Hoare Logic and Verification conditions
000
Language:IsabelleLGPL-2.1000
000