← 返回专题广场

coq

3 个项目 · ⭐ 1.4k
1
uwdb
uwdb/Cosette

Cosette is an automated SQL solver.
Lean ⭐ 686 ⑂ 57 BSD-2-Clause · 2024-12-18推送
coqdatabase
2024-12-18
最近推送
2
rocq-prover
rocq-prover/vsrocq

Visual Studio Code extension for Rocq
OCaml ⭐ 460 ⑂ 108 MIT · 14 小时前推送
coqeditor
14 小时前
最近推送
3
rocq-community
rocq-community/rocq-lsp

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
OCaml ⭐ 208 ⑂ 63 LGPL-2.1 · 3 天前推送
coqide
3 天前
最近推送