Posts

Posts

• 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