Skip to content

feat: formalize slot_is_justifiable_after in Lean4 #10

feat: formalize slot_is_justifiable_after in Lean4

feat: formalize slot_is_justifiable_after in Lean4 #10