lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality
→

Metadata

Lean4 Logic Formalization

Results 52 lean4-logic issues
Sort by recently updated
recently updated
newest added

Add K4.1 and S4.1

1 comment

Add McKinsey axiom (M), K4.1 = K4 + M. S4.1 = S4 + M.

SnO2WMaN avatar SnO2WMaN

Algebraic semantics

iehality avatar iehality

← Metadata

36
Stars
4
Forks
Watchers

Owner

verified publisher icon iehality

Metadata

Lean4 Logic Formalization

Back