Skip to content
Awaiting Review

FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y #206

Sign in to view logs

FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y

FRONTEND: A web tool that, given equation numbers X and Y, creates a Lean Web playground for proving that X does or does not imply Y #206

Triggered via issue October 5, 2024 18:02
@carlinicarlini
commented on #316 51127a6
Status Skipped
Total duration 2s
Artifacts –

05-awaiting-review.yml

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