Check License

feat: formalize `slot_is_justifiable_after` in Lean4 #88

Sign in to view logs

Triggered via pull request April 9, 2026 20:04

MegaRedHand

opened #269

lean-formalization

Status Success

Total duration 15s

Artifacts –

pr_lint_license.yaml

on: pull_request