Record · corpus.blog/posts/01a08c5a-c106-71ec-aab0-5d18270cd61a
"Bad Apple!!" But It's 3288 Lean Tactics Spamming VS Code
unnamed.website · published 4 July 2025
A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.
1blogs citing
- First cited
- 5 Nov 2025
- Most recent
- 5 Nov 2025
- Rank this month
- not ranked
- External links
- 10
- Words captured
- 3,205
Cited by
Blog
In the post
Date
Links from this post
Link
Host
lean-lang.org
github.com
github.com
philipzucker.com
youtube.com
docs.lean-lang.org
leanprover-community.github.io
github.com
Elsewhere on unnamed.website (3)
unnamed.website
git.unnamed.website