Example output of lumpy-leandoc generated from modus.lean
-
-
Save ratmice/29b869369ec02232b80dce3498a4c0b4 to your computer and use it in GitHub Desktop.
Lumpy example output
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment