Skip to content
Propose PR

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

propose_pr

propose_pr
succeeded Oct 5, 2024 in 4s