Skip to content
Disclaim Issue

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 –

02-disclaim-issue.yml

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