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

Published 20 hours ago • verified publisher icon iehality

Abstract charactorization of deduction system

Open iehality opened this issue 1 year ago • 0 comments

Currently, there is two different characterization of deduction system, LO.System and LO.Deduction, but they are redundant and should be unified.

iehality avatar Feb 06 '24 07:02 iehality