Lean4-Framework to reason about multithreaded algorithms
-
Updated
May 11, 2023 - Lean
#
software-verification
Here are 3 public repositories matching this topic...
Accepted Forall-Lean-Agent proofs for LeanEval software verification
-
Updated
Oct 5, 2026 - Lean
Incremental self-adjusting computation library in Lean4
theorem-proving verification lean software-verification incremental-computation lean4 self-adjusting-computation
-
Updated
Apr 10, 2026 - Lean
Add this topic to your repo
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."