coq/bot

A (Coq Development Team) bot written in OCaml

Language: OCaml - Size: 6.73 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 16