leannum

Reverse weight 23.50 No technique tags yet.

Difficulty Not rated yet

♡ 0

Flag format: r3ctf{...}

I wrote a Sudoku in Lean, but the source code got lost and only the build folder is left. Can you help me take a look at it?

Please add R3CTF{} when submitting the flag.

Writeups

No official writeup linked.

No community writeups yet. Solved it? Share how.