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

Published 20 hours ago • verified publisher icon iehality

Write documents for modal logic

Open SnO2WMaN opened this issue 10 months ago • 0 comments

Originally posted by @SnO2WMaN in https://github.com/iehality/lean4-logic/issues/34#issuecomment-2053638218

SnO2WMaN avatar Apr 13 '24 13:04 SnO2WMaN