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

Published 20 hours ago • verified publisher icon iehality

system

Open iehality opened this issue 10 months ago • 1 comments

close #22

iehality avatar Apr 20 '24 04:04 iehality

LO.Propositional.ClassicalとLO.FirstOrderの移行完了しました

iehality avatar May 03 '24 16:05 iehality