This is stars and forks stats for /katydid/coq-lean-cheatsheet repository. As of 09 May, 2024 this repository has 11 stars and 0 forks.
Cheat Sheet: Coq Proof Assistant to LeanProver - A4 pdf Quick Start tips Lean is space sensitive and uses newlines instead of dots. The by keyword is used to invoke proof mode. Trust us and just put the by keyword on the same line as the :=. So always write ... := by followed by a newline. Use VS Code and install the lean4 extension. Quick Reference Table Coq Lean Theorem theorem admit sorry reflexivity rfl exact exact apply apply intros intros rewrite H rewrite [H], rw [H] rewrite <- H rewrite...
Cheat Sheet: Coq Proof Assistant to LeanProver - A4 pdf Quick Start tips Lean is space sensitive and uses newlines instead of dots. The by keyword is used to invoke proof mode. Trust us and just put the by keyword on the same line as the :=. So always write ... := by followed by a newline. Use VS Code and install the lean4 extension. Quick Reference Table Coq Lean Theorem theorem admit sorry reflexivity rfl exact exact apply apply intros intros rewrite H rewrite [H], rw [H] rewrite <- H rewrite...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
kevinsullivan/cs2120f23 | LeanCSSJavaScript | 2 | 0 | 176 | 0 |
nomeata/loogle | NixPythonLean | 16 | 0 | 0 | 0 |
paulcadman/lean4-leetcode | Lean | 6 | 0 | 0 | 0 |
mhuisi/lean4-cli | Lean | 44 | 0 | 8 | 0 |
joneugster/InftyCat | Lean | 1 | 0 | 1 | 0 |
meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
algebraic-sofia/soda | Lean | 22 | 0 | 0 | 0 |
meoowers/melp | Lean | 14 | +1 | 0 | 0 |
meoowers/ash | Lean | 9 | 0 | 0 | 0 |
RemyDegenne/gaussian | Lean | 3 | 0 | 0 | 0 |