Skip to content
Awaiting Review

INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. #14

Sign in to view logs

INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean.

INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. #14

Triggered via issue October 2, 2024 18:30
@jscanvicjscanvic
commented on #125 b5dc599
Status Skipped
Total duration 1s
Artifacts –

05-awaiting-review.yml

on: issue_comment
awaiting_review
0s
awaiting_review
Fit to window
Zoom out
Zoom in