TwoFX/import-autocomplete-test
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 28 KiB
  • Lean 100%
Find a file
Exact
Markus Himmel acaadd0d91 Example
2025-06-17 10:11:31 +02:00
.github/workflows Example 2025-06-17 10:11:02 +02:00
ImportAutocompleteTest Example 2025-06-17 10:11:31 +02:00
.gitignore Example 2025-06-17 10:11:02 +02:00
ImportAutocompleteTest.lean Example 2025-06-17 10:11:02 +02:00
lake-manifest.json Example 2025-06-17 10:11:02 +02:00
lakefile.toml Example 2025-06-17 10:11:02 +02:00
lean-toolchain Example 2025-06-17 10:11:02 +02:00
Main.lean Example 2025-06-17 10:11:02 +02:00
README.md Example 2025-06-17 10:11:02 +02:00

README.md

import-autocomplete-test