Ekdohibs / efficient-convertibility

Code repository for the efficient and formally-verified convertibility checker I developed during my Ph.D.

This repository is not active

Code repository for the efficient and formally-verified convertibility checker I developed during my Ph.D.

Language:Coq 87.0%Language:OCaml 13.0%Language:Makefile 0.0%