Skip to content
Lean Action CI

Complete Partrec module: prove prec closure and fix sub_computable (#27) #228

Sign in to view logs

Complete Partrec module: prove prec closure and fix sub_computable (#27)

Complete Partrec module: prove prec closure and fix sub_computable (#27) #228

Triggered via pull request January 6, 2026 11:23
@jessealamajessealama
opened #43
complete-partrec-module
Status Success
Total duration 2m 32s
Artifacts –

lean_action_ci.yml

on: pull_request
build
2m 29s
build
Fit to window
Zoom out
Zoom in