Cluster 633848

6 repos

Emacs Lisp · 3

Python · 1

Rocq Prover · 1

TypeScript · 1

coq ·1,817

proof-assistant ·1,817

integrated-development-environment ·1,467

emacs ·929

proof-general ·929

docker-coq-action ·559

javascript ·547

company-mode ·361

vim ·327

formal-proofs ·23

Related clusters

cpitclaudel/company-coq

A Coq IDE build on top of Proof General's Coq mode

Emacs Lisp

361

917 commits

ProofGeneral/PG

This repo is the new home of Proof General

Emacs Lisp

559

8,645 commits

jscoq/jscoq

A port of Coq to Javascript -- Run Coq in your Browser

TypeScript

547

1,844 commits

whonore/Coqtail

Interactive Coq Proofs in Vim

Python

327

635 commits

Matafou/LibHyps

A Coq library providing tactics to deal with hypothesis

Rocq Prover

149 commits

ProofGeneral/opam-switch-mode

Select OCaml opam switches via a menu or using a command

Emacs Lisp

60 commits