Mario Vago Marzal
Results
2
issues of
Mario Vago Marzal
Addresses https://github.com/cookiecutter/cookiecutter/issues/1736. Based on the bugfix by @liortct in https://github.com/cookiecutter/cookiecutter/pull/1767 but using the organization name throughout the project.
breaking-change
## Description I'm attempting to analyze a simple file with a sample theorem with `leanInk a sample.lean` and I get the following error: ```shell Starting Analysis for: "sample.lean" ERROR(1): sample.lean:1:0:...
bug