formal-land / coq-of-ocaml

RepositoryStats indexes 523,840 repositories, of these formal-land/coq-of-ocaml is ranked #145,131 (72nd percentile) for total stargazers, and #234,250 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #138/672.

formal-land/coq-of-ocaml is also tagged with popular topics, for these it's ranked: compiler (#423/971),  ocaml (#85/277)

formal-land/coq-of-ocaml has 13 open pull requests on Github, 128 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 5 open issues and 64 closed issues.

There have been 16 releases, the latest one was published on 2023-01-04 (about a year ago) with the name 2.5.3.

Homepage URL: https://formal.land/docs/coq-of-ocaml/introduction