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

Published 20 hours ago • verified publisher icon iehality

Modal and Superintuitionistic based on new system

Open SnO2WMaN opened this issue 9 months ago • 0 comments

Rewrite modal logic based on #44

Depends

  • #44
  • #46
  • #50

SnO2WMaN avatar May 01 '24 00:05 SnO2WMaN