logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Fix example in introduction.rst

Open joelmccracken opened this issue 2 years ago • 0 comments

The Fix for this actually comes from Kyle Miller (https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Joel.20McCracken/near/328720514)

joelmccracken avatar Feb 18 '23 20:02 joelmccracken