/bot

A (Coq Development Team) bot written in OCaml

Primary LanguageOCamlMIT LicenseMIT

Watchers