← Explore by area

Cluster 633759

1 repo

Lean · 1

lean4 ·311

smt ·311

Related clusters

Coq/Rocq Proof Formalization & Type Theory38 Cluster 6336363

ufmg-smite/lean-smt

Tactics for discharging Lean goals into SMT solvers.

Lean

311

199 commits

Cluster 633759 — Shadowgraph