Skip to content
#

machine-verification

Star

Here are 2 public repositories matching this topic...

M-Ismail-ZA / IsmailsPrimitives

Star 4

Machine-checked Lean 4 / Mathlib formalization of Ismail's Primitives — six structural primitives proven necessary, mutually independent, and sequentially linked for sequential decision-making under uncertainty. 0 sorry · 0 axiom · ~12,700 lines.

reinforcement-learning information-theory theorem-proving formal-methods formal-verification decision-theory pomdp mathlib lean4 sequential-decision-making regret-bound machine-verification
  • Updated Jul 10, 2026
  • Lean

gianfranco-romaelle / FourierBochnerLean

Star 0

A Formal Proof of Bochner’s Theorem and the Fejér–Riesz Factorization on U(1) in Lean 4

functional-programming theorem-proving artificial-intelligence proof-assistant type-theory category-theory lean formal-verification fourier-analysis mathematical-logic formal-mathematics automated-reasoning mathlib harmonic-analysis dependent-type-theory symbolic-reasoning lean4 machine-verification reusable-theorems
  • Updated May 12, 2026
  • Lean

Improve this page

Add a description, image, and links to the machine-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the machine-verification topic, visit your repo's landing page and select "manage topics."

Learn more