g-jaber

Pinned Repositories

SyTeCi
Language:OCaml30
coq-forcing
A plugin for Coq that implements the call-by-name forcing translation
Language:Coq123

g-jaber's Repositories

g-jaber/SyTeCi
Language:OCaml3