Cluster 633640

7 repos

Lean · 3

TypeScript · 2

C++ · 1

Rust · 1

lean4 ·4,544

lean ·2,869

theorem-proving ·2,557

verification ·2,557

dependent-types ·2,153

programming-language ·2,153

type-theory ·2,153

machine-learning ·404

vscode ·312

Related clusters

Lean 4 theorem proving ecosystem11 Coq/Rocq Proof Formalization & Type Theory38 Formal verification of cryptographic code22 Cluster 63374028 Cluster 6336915 Cluster 6336418

leanprover/lean

Lean Theorem Prover

C++

2,153

13,005 commits

leanprover/vscode-lean4

VS Code extension for the Lean 4 programming language and theorem prover

TypeScript

312

2,296 commits

leanprover/vscode-lean

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by…

TypeScript

114

1,032 commits

leanprover/elan

The Lean version manager

Rust

637

380 commits

leanprover-community/aesop

White-box automation for Lean 4

Lean

404

926 commits

leanprover-community/mathlib4

The math library of Lean 4

Lean

4,140

32,930 commits

dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

Lean

404

6 commits