Open utensil opened 2 years ago
Thanks a lot for spotting this. Could you / Would you like to prepare a PR?
Yes I can, and I guess they can be renamed to using underscore to keep consistency with other files (like the coq ones) .
P.S. lean4-tactics*
are no longer there, so languages are all postfixes.
Some links of Lean recipes in README are broken due to inconsistent naming:
Only the first link works, the rest are broken because the actual file names used underscores instead of hyphens.
Links in the Lean 3 section are OK as far as I've checked.
P.S. Could it be consistent whether the lean3/4 is the prefix? It's better if they are all prefix, so they are listed together in the directory.