formal-library

Here is 1 public repository matching this topic...

kernelpanic888 / TMI-Lean-Formal-Library

Lean 4 formal library for interface-event theory, OLean boundary checking, claim passports, and TLFL proof-state self-modeling with Z3/Vampire/E mirrors.

theorem-proving proof-assistant lean z3 formal-methods tmi e-prover lean4 interface-theory vampire-prover formal-library

Updated Jul 8, 2026
Lean

Improve this page

Add a description, image, and links to the formal-library 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 formal-library topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

formal-library

Here is 1 public repository matching this topic...

kernelpanic888 / TMI-Lean-Formal-Library

Improve this page

Add this topic to your repo