lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard
verified publisher icon iehality

add(InterpretabilityLogic): Logic `ILRStar`

Open SnO2WMaN opened this issue 5 months ago • 0 comments

SnO2WMaN avatar Nov 14 '25 02:11 SnO2WMaN