not your average end user
about projects accomplishments resume

Proof System Notes

Jun 8, 2026

  • Thaler: Proofs, Arguments, and Zero-Knowledge (Textbook)
  • Avigad, de Moura, Kong, Ullrich: Theorem Proving in Lean 4

not your average end user

  • ian klatzco
  • about
  • projects
  • resume
  • ianklatzco
  • ian5v
  • rss

This is where I(an) write(s) about computers, to get better at writing about computers.