Skip to content

Instantly share code, notes, and snippets.

@ratmice

ratmice/logic_and_proof_quickref.pdf

Last active June 9, 2019 22:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ratmice/ee5b2d49f8a8c141ddbe9fde798eb4e1 to your computer and use it in GitHub Desktop.
Save ratmice/ee5b2d49f8a8c141ddbe9fde798eb4e1 to your computer and use it in GitHub Desktop.
Download ZIP
quickref
Display the source blob
Display the rendered blob
Raw
logic_and_proof_quickref.pdf
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Raw
quickref
logic & proof PR #24
https://github.com/leanprover/logic_and_proof/pull/24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment