Holpy Proof Checker on CyberSecurity Elitehttps://cybersecurityelite.com/tags/holpy-proof-checker/Recent content in Holpy Proof Checker on CyberSecurity EliteCyberSecurity Elitehttps://cybersecurityelite.com/images/og-default.pnghttps://cybersecurityelite.com/images/og-default.pngHugoen-usMon, 08 Jun 2026 18:55:51 +0200GPN CTF 2026 — Customer Service: Three Bugs in a holpy Proof Checkerhttps://cybersecurityelite.com/ctf-writeups/gpn-ctf-2026-customer-service/Sun, 07 Jun 2026 19:50:00 +0000https://cybersecurityelite.com/ctf-writeups/gpn-ctf-2026-customer-service/GPN CTF 2026 Misc: list == 1 typo, every thm is re-axiomatized, win check matches false by name. Declare a homemade false constant, axiomatize it, ship a one-line proof.