Blog

• 12 Oct 2026 Developer-driven Rust verification using hax, Lean, and AI

  Showcasing hax 0.4 on IoT-friendly SHA-3

• 01 Oct 2026 Hax 0.4!

  Announcing hax 0.4, a pivotal release

• 25 Jun 2026 EIC Transition: Spectrum

  Pereq has won an EIC grant to build a new software verification product.

• 22 Apr 2026 Software Verification in Lean

  Pereq co-hosted a workshop on advancing software verification using the Lean proof assistant.

• 28 Oct 2025 Formally Specifying and Testing the Rust Standard Library

  Pereq found and fixed bugs in the Rust SIMD libraries using formal specs

• 02 Oct 2025 Helping Secure Signal's Post-Quantum Transition

  Pereq worked with Signal to formally analyze their new post-quantum ratchet

Atom feed