Anatomy of a Formal Proof

1 week ago 13
Comments
Read Entire Article
  1. Homepage
  2. Technology
  3. Anatomy of a Formal Proof

Related

Show HN: Make your YC application stand out (Spring 2025 edition)

Show HN: Make your YC application stand out (Spring 2025 edi...

1 hour ago 4
GitHub Copilot: The Agent Awakens

GitHub Copilot: The Agent Awakens

1 hour ago 3
Roe AI (YC W24) Is Hiring

Roe AI (YC W24) Is Hiring

1 hour ago 2

Hidden in mobile, Best for skyscrapers.