gio54321
Blog
About
Posts
September 18, 2024
MOCA CTF finals 2024 - 2+2=5 writeup
September 17, 2021
Intuitionism does not refute excluded middle
February 6, 2020
A simple Hoare triple prover