Patrick LaFontaine's Website
Current Status: Considering whether to keep this message box.

Latest 2 Posts

  1. How are interpreted recursive functions implemented in SMT solvers?
  2. Submitting a Paper to Arxiv with Minted (2025)