Pinned Loading

1. ocaml-sf/learn-ocaml ocaml-sf/learn-ocaml Public

   A Web Application for Learning OCaml

   JavaScript 329 72

2. validsdp/validsdp validsdp/validsdp Public

   A Coq tactic for proving multivariate inequalities using SDP solvers

   Rocq Prover 12 1

3. ProofGeneral/opam-switch-mode ProofGeneral/opam-switch-mode Public

   Select OCaml opam switches via a menu or using a command

   Emacs Lisp 9 4

4. ProofGeneral/PG ProofGeneral/PG Public

   This repo is the new home of Proof General

   Emacs Lisp 551 102

5. docker-keeper docker-keeper Public

   Mirror of https://gitlab.com/erikmd/docker-keeper [maintainer=@erikmd]: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch Gi…

   Python 1

6. rocq-prover/docker-opam-action rocq-prover/docker-opam-action Public

   GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]

   Shell 15 5