tobiasphilipp

Pinned Repositories

drat-tools
Language:Haskell00
sid-checker
A lazily-verified resolution checker written in SPARK 2014 based on functional data structures
Language:Ada20
verified-pb
Language:Python00

tobiasphilipp's Repositories

tobiasphilipp/sid-checker
A lazily-verified resolution checker written in SPARK 2014 based on functional data structures
Language:Ada20
tobiasphilipp/drat-tools
Language:Haskell00
tobiasphilipp/verified-pb
Language:Python00