formally specified & verified implementation of eLyKseeR in Coq / OCaml
Primary LanguageOCamlGNU General Public License v3.0GPL-3.0