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

Published 20 hours ago • verified publisher icon iehality

refactor(Modal): Commonize Kripke Semantics Part.2

Open SnO2WMaN opened this issue 1 year ago • 2 comments

相当に時間がかかりそうなのでのんびりとしたペースで行う．

SnO2WMaN avatar Aug 05 '24 00:08 SnO2WMaN