A Cheat Sheet for Coq Developers who want to try LeanProver
Primary LanguageLeanApache License 2.0Apache-2.0