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

Published 20 hours ago • verified publisher icon iehality

Algebraic Semantics for Modal Logic

Open SnO2WMaN opened this issue 4 months ago • 0 comments

SnO2WMaN avatar Oct 02 '24 16:10 SnO2WMaN