 | Lean VacuumCollect fine-grained lean theorem proving data. Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
lean-vacuum READMEThis extension is built specifically for the purpose of collecting fine-grained theorem proving data for the course CSE 230. Changes made to .lean files are saved to the .changes directory in the current workspace. |