Nov 23, 2022Nov 23, 2022 路 8 min read 路 1.6K viewsSolving Equations Like A ProZ3 Theorem Prover8 min read 路 1.6K views
Jun 21, 2021Jun 21, 2021 路 4 min read 路 347 viewsMy first hackathon - Hack4Lem 202140 hours of objective oriented work focused on learning not winning4 min read 路 347 views
May 2, 2021May 2, 2021 路 6 min read 路 632 viewsCyber Apocalypse 2021: Key MissionComplete write-up6 min read 路 632 views
