proof-by-sledgehammer

Open UniversityThe Netherlands

Pinned Repositories

BIRD
Temporary repository for BIRD during the TAP'23 review phase
Language:Coq00
FoxDec
Formally verified x86-64 decompilation
Language:HTML112

proof-by-sledgehammer's Repositories

proof-by-sledgehammer/BIRD
Temporary repository for BIRD during the TAP'23 review phase
Language:Coq