Posts

Posts

• Jan 14, 2026

  Some names of Lean tactics don't work

• Dec 8, 2025

  How Lean tracks your definitions

• Nov 21, 2025

  I hate it when my code parses

• Oct 28, 2025

  You can modify hover info in Lean!

subscribe via RSS