This is stars and forks stats for /PatrickMassot/lean-verbose repository. As of 26 Apr, 2024 this repository has 52 stars and 1 forks.
Lean verbose This project provides tactics for Lean in a very controlled natural language. The original version of those tactics were written in French for teaching purposes at Université Paris-Saclay in Orsay. The goal is not to make Lean code easier to write, the goal is to make Lean code easier to transfer to a traditional paper proof. The best way to have a quick look is to read the sample file. More "documentation" can be found in the other files in the test folder. The current state of this...
Lean verbose This project provides tactics for Lean in a very controlled natural language. The original version of those tactics were written in French for teaching purposes at Université Paris-Saclay in Orsay. The goal is not to make Lean code easier to write, the goal is to make Lean code easier to transfer to a traditional paper proof. The best way to have a quick look is to read the sample file. More "documentation" can be found in the other files in the test folder. The current state of this...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| brendanzab/language-garden | OCamlNixLean | 108 | 0 | 2 | 0 |
| mo271/formal_book | Lean | 29 | +1 | 4 | 0 |
| AeneasVerif/aeneas | OCamlStandard MLF* | 65 | 0 | 8 | 0 |
| facebookresearch/miniF2F | Objective-C++IsabelleLean | 35 | +1 | 9 | 0 |
| JamesGallicchio/eternity2 | LeanPythonShell | 4 | 0 | 0 | 0 |
| blanchette/logical_verification_2022 | Lean | 17 | 0 | 7 | 0 |
| EdAyers/WidgetKit | LeanTypeScriptTeX | 56 | 0 | 10 | 0 |
| leanprover-community/mathlib3port | Lean | 11 | 0 | 5 | 0 |
| blanchette/logical_verification_2021 | Lean | 25 | 0 | 8 | 0 |
| 0art0/lean3-statement-translation-tool | Lean | 7 | 0 | 0 | 0 |