logic_and_proof icon indicating copy to clipboard operation
logic_and_proof copied to clipboard

Published 20 hours ago • verified publisher icon leanprover
→

Metadata

CMU Undergrad Course

Results 11 logic_and_proof issues
Sort by recently updated
recently updated
newest added

Close HTML img tags

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 oddg

← Metadata

93
Stars
41
Forks
Watchers

Owner

verified publisher icon leanprover

Metadata

CMU Undergrad Course

Back