Skip to content
Back to pull request #480

Handle None in schema equiv for attribtues and member-of #1162

Sign in to view logs

Handle None in schema equiv for attribtues and member-of

Handle None in schema equiv for attribtues and member-of #1162

Build and test Lean (stable)

Build and test Lean (stable)
succeeded Nov 20, 2024 in 4m 36s