Skip to content
| Marketplace
Sign in
Visual Studio Code>Other>Lean VacuumNew to Visual Studio Code? Get it now.
Lean Vacuum

Lean Vacuum

Kyle Thompson

|
891 installs
| (0) | Free
Collect fine-grained lean theorem proving data.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

lean-vacuum README

This 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.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft