├── .gitignore ├── Cheat.lean ├── Cheat.v ├── Coq LeanProver CheatSheet.pdf ├── Coq LeanProver CheatSheet.png ├── Coq LeanProver CheatSheet.pptx ├── LICENSE └── README.md /.gitignore: -------------------------------------------------------------------------------- 1 | .DS_Store 2 | -------------------------------------------------------------------------------- /Cheat.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/Cheat.lean -------------------------------------------------------------------------------- /Cheat.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/Cheat.v -------------------------------------------------------------------------------- /Coq LeanProver CheatSheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/Coq LeanProver CheatSheet.pdf -------------------------------------------------------------------------------- /Coq LeanProver CheatSheet.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/Coq LeanProver CheatSheet.png -------------------------------------------------------------------------------- /Coq LeanProver CheatSheet.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/Coq LeanProver CheatSheet.pptx -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/funexists/coq-lean-cheatsheet/HEAD/README.md --------------------------------------------------------------------------------