Pinned Repositories
strong-normalization
Formalizations of strong normalization proofs
Beluga
Contextual types meet mechanized metatheory!
Meta
Mechanizing Types and Programming Languages using Beluga
sysf-pts-beluga
merlin
Mechanizing the reasoning about programming languages: a companion
merlinbench
Benchmarks for systems supporting reasoning with variable binders
ORBI
Open challenge problem Repository for systems reasoning with BInders
poplmark-reloaded.github.io
POPLMark challenge reloaded
pientka's Repositories
pientka/ORBI
Open challenge problem Repository for systems reasoning with BInders
pientka/merlin
Mechanizing the reasoning about programming languages: a companion
pientka/merlinbench
Benchmarks for systems supporting reasoning with variable binders
pientka/poplmark-reloaded.github.io
POPLMark challenge reloaded