A (Coq Development Team) bot written in OCaml
Primary LanguageOCamlMIT LicenseMIT
No one’s star this repository yet.