CI

feat: formalize `slot_is_justifiable_after` in Lean4 #799

Sign in to view logs

Triggered via pull request April 10, 2026 19:21

MegaRedHand

synchronize #269

lean-formalization

Status Success

Total duration 7m 57s

Artifacts –

ci.yml

on: pull_request

Test with Lean FFI