/efficient-convertibility

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

Primary LanguageCoq

This repository is not active