Examples & Showcase

ImandraX has been used to verify a wide range of algorithms, mathematical theorems, and real-world systems. This section showcases what's possible.

  • Examples Gallery — All 23 verified examples from the ImandraX examples repository, categorized by topic and difficulty
  • The 100 Theorems Project — ImandraX's contribution to the "Top 100 Mathematical Theorems" formalization effort
Previous← Tutorial: Interactive Proofs
NextExamples Gallery →