← Explore by area

Cluster 439703

2 repos

Common Lisp · 1

TypeScript · 1

formal-methods ·578

theorem-prover ·578

first-order-logic ·447

theorem-proving ·447

common-lisp ·447

logic ·447

rewriting ·447

acl2 ·447

formal-verification ·447

coq ·131

Related clusters

Formal verification of cryptographic code22 Coq Proof Assistant and Extensions23 Cluster 44092112 VS Code Language Extensions29 Formal Verification & Rocq Prover21 Cluster 4560503

acl2/acl2

ACL2 System and Books as Maintained by the Community

Common Lisp

447

55,702 commits

JetBrains-Research/coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.

TypeScript

131

788 commits