Owner
rocq-community
13 indexed repositories · View on GitHub
-
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Rocq Prover · 250 stars
-
rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
OCaml · 208 stars
-
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Rocq Prover · 169 stars
-
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Rocq Prover · 74 stars
-
autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Rocq Prover · 73 stars
-
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Nix · 57 stars
-
parseque
Total Parser Combinators in Coq [maintainer=@womeier]
Rocq Prover · 51 stars
-
paramcoq
Old Coq plugin for parametricity [maintainer=@ppedrot]
OCaml · 44 stars
-
OCaml · 36 stars
-
trocq
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]
Rocq Prover · 31 stars
-
mmaps
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
Rocq Prover · 11 stars
-
docker-rocq
Docker images of the Rocq Prover (see also: https://github.com/rocq-community/docker-coq-action) [maintainer=@Justme0606]
Dockerfile · 5 stars
-
docker-base
Parent image for Docker images of the Coq proof assistant [maintainer=@Justme0606]
Dockerfile · 4 stars
-
Difficulty 4/5 3-5 days Newbie friendliness 55/100
-
kind: bug
Difficulty 3/5 1-2 days Newbie friendliness 72/100
rocq-community/rocq-lsp#1113 · 3 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
rocq-community/fourcolor#83 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
rocq-community/trocq#92 ·
-
Deduplicate code Opendev-enhancement
Difficulty 5/5 Over a week Newbie friendliness 25/100
rocq-community/trocq#91 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
rocq-community/rocq-lsp#1108 ·
-
dev-enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/trocq#86 ·
-
Trocq Documentation Opendocumentation
Difficulty 4/5 3-5 days Newbie friendliness 50/100
rocq-community/trocq#85 ·
-
UI
Difficulty 4/5 3-5 days Newbie friendliness 42/100
rocq-community/trocq#83 ·
-
documentation
Difficulty 4/5 3-5 days Newbie friendliness 45/100
rocq-community/trocq#82 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
rocq-community/rocq-lsp#1098 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 48/100
rocq-community/docker-rocq#32 · 1 comment ·
-
kind: enhancement
Difficulty 5/5 Over a week Newbie friendliness 28/100
rocq-community/rocq-lsp#1093 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 42/100
rocq-community/rocq-lean-import#63 · 5 comments ·
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 45/100
rocq-community/trocq#78 · 1 comment ·
-
bug
Difficulty 4/5 3-5 days Newbie friendliness 48/100
rocq-community/trocq#77 ·
-
enhancement
rocq-community/trocq#76 · 10 comments · 1 assignee ·
-
bug
rocq-community/trocq#75 · 1 assignee ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 45/100
rocq-community/trocq#72 ·
-
kind: bug
Difficulty 3/5 1-2 days Newbie friendliness 65/100
rocq-community/rocq-lsp#1084 · 2 comments ·
-
dev-enhancement
Difficulty 5/5 Over a week Newbie friendliness 25/100
rocq-community/trocq#68 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
rocq-community/autosubst#39 · 1 reaction ·
-
images with ocaml 5? Open
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/docker-rocq#22 · 2 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
rocq-community/rocq-lsp#1080 ·
-
kind: bug
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
rocq-community/rocq-lsp#1079 ·
-
kind: bug
Difficulty 3/5 1-2 days Newbie friendliness 45/100
rocq-community/rocq-lsp#1071 ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
rocq-community/rocq-lean-import#49 · 1 comment ·
-
Stack Overflow Error Open
Difficulty 4/5 3-5 days Newbie friendliness 25/100
rocq-community/rocq-lean-import#48 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/math-classes#142 · 4 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/paramcoq#142 ·
-
support gist:/// uri Openkind: bug
Difficulty 5/5 Over a week Newbie friendliness 15/100
rocq-community/rocq-lsp#1047 · 1 comment ·
-
kind: enhancement part: petanque
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/rocq-lsp#1043 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/paramcoq#140 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/coq-nix-toolbox#389 · 13 comments ·
-
kind: enhancement part: Coq API part: workspace setup
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/rocq-lsp#1006 · 4 comments ·
-
question
Difficulty 5/5 Over a week Newbie friendliness 35/100
rocq-community/docker-rocq#16 · 3 comments · 1 reaction ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/docker-rocq#15 · 2 comments · 2 reactions ·
-
Roadmap Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
rocq-community/coq-nix-toolbox#359 · 4 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 50/100
rocq-community/docker-base#35 · 1 comment · 2 reactions ·
-
flèche as a library Open
Difficulty 5/5 Over a week Newbie friendliness 20/100
rocq-community/rocq-lsp#983 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 50/100
rocq-community/rocq-lsp#979 · 3 comments ·
-
kind: bug kind: upstream-bug
Difficulty 4/5 3-5 days Newbie friendliness 30/100
rocq-community/rocq-lsp#968 · 12 comments ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
rocq-community/rocq-lsp#965 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
rocq-community/trocq#47 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
rocq-community/rocq-lsp#956 ·
-
lsp: hover
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/rocq-lsp#954 ·
-
9.0 release Open
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rocq-community/mmaps#17 · 2 comments ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.