Extra Credit
orthologic-coq
A plugin to add orthologic-based tactics to Coq
Official docs outline
Extra Credit builds an outline of orthologic-coq's docs the first time your work uses it. Until then, start at the official documentation.
More in OCaml packages
All 500- vsrocq-language-server VSRocq language server
- solo5-bindings-muen Solo5 sandboxed execution environment (muen target)
- solo5-bindings-xen Solo5 sandboxed execution environment (xen target)
- solo5-kernel-muen Solo5 sandboxed execution environment (muen target)
- tezos-client-010-PtGRANAD-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- ocamlsdl2-image Interface to the SDL2_image library
- unix-dirent ocaml-unix-dirent provides access to the features exposed in dirent.h
- ahrocksdb A binding to RocksDB
- channel MirageOS channels
- gitlab-unix GitLab APIv4 OCaml library
- loc Representing ranges of lexing positions from parsed files
- volgo-git-backend An IO-free library that parses the output of Git commands