Projects in Awesome Lists tagged with mathlib4
A curated list of projects in awesome lists tagged with mathlib4 .
https://github.com/chantakan/verified-mbse
Formally verified MBSE framework in Lean 4 — dependent type semantics for SysML v2 / KerML with V&V matrix completeness by type checking
dependent-types formal-verification lean4 mathlib4 mbse model-based-systems-engineering sysml systems-engineering
Last synced: 05 Jun 2026
https://github.com/wvhulle/ennreal-arith
Simplify arithmetic expressions of ENNReal numbers in Lean4
arithmetic ennreal lean4 mathematics mathlib4 probability proof-assistant real tactic
Last synced: 26 Oct 2025
https://github.com/leodog896/mathlib4-tactics
autogenerated tactics list for mathlib4
Last synced: 17 Mar 2025
https://github.com/tristan-f-r/mathlib4-tactics
autogenerated tactics list for mathlib4
Last synced: 05 Jun 2026
