logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Close HTML img tags

Open oddg opened this issue 4 years ago • 0 comments

When building the epub version, I get errors related to non closed HTML tags. This should help drive https://github.com/leanprover/logic_and_proof/issues/30 to resolution

oddg avatar Mar 06 '20 02:03 oddg