rwbarton/highlight2.lean Secret

Last active October 26, 2020 15:41

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/rwbarton/e9cc372ace57ff71c3d13c16f1f509eb.js"></script>
Save rwbarton/e9cc372ace57ff71c3d13c16f1f509eb to your computer and use it in GitHub Desktop.

Download ZIP

Raw

highlight2.lean

	-- * foo

	example : true :=
	trivial

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment