PrototypeCommune
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- Propriétaire
- rocq-community (organisation)
- Étoiles
- Étoiles : 212
- Forks
- Forks : 69
- Langage
- OCaml
- Licence
- LGPL-2.1
- Création
- 2019
- Sujets
- coqideuser-interfacevscode-extensioninteractive-theorem-provinglanguage-server-protocolrocqrocq-prover
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de rocq-community
Les 9 dépôts de rocq-community- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- rocq-community/awesome-coqÉtoiles : 397Alpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
- rocq-community/coq-ext-libÉtoiles : 136Rocq ProverPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- Beluga-lang/BelugaÉtoiles : 214OCamlPrototype
- Risto-Stevcev/bastetÉtoiles : 214OCamlPrototype
- mfp/extprotÉtoiles : 212OCamlPrototype
- PLSysSec/FaCTÉtoiles : 210OCamlPrototype
- LexiFi/ocaml-vdomÉtoiles : 210OCamlPrototype
- stedolan/mlsubÉtoiles : 209OCamlPrototype