Lean Action CI

Prove square root is URM-computable (#21) #214

Sign in to view logs

Triggered via pull request January 6, 2026 10:05

jessealama

synchronize #39

sqrt-computable

Status Success

Total duration 2m 5s

Artifacts –

lean_action_ci.yml

on: pull_request