https://pereq-website.pages.dev/ https://pereq-website.pages.dev/blog/ https://pereq-website.pages.dev/blog/eic-transition-spectrum/ 2026-06-25 https://pereq-website.pages.dev/blog/hax_0_4_release/ 2026-10-01 https://pereq-website.pages.dev/blog/signal-spqr-verification/ 2025-10-02 https://pereq-website.pages.dev/blog/software-verification-in-lean-2026/ 2026-04-22 https://pereq-website.pages.dev/blog/specify-rust-simd/ 2025-10-28 https://pereq-website.pages.dev/contact/ https://pereq-website.pages.dev/hax/ https://pereq-website.pages.dev/jobs/ https://pereq-website.pages.dev/perspec/ https://pereq-website.pages.dev/spectrum/ https://pereq-website.pages.dev/team/