CTFs
Upcoming
Archive
Past events
Tasks
Writeups
Calendar
Teams
Rating
Compare
Create new team
Get team members
FAQ
Contact us
For organizers
Feedback
About
Sign in
Home
/
CTF events
/
Texas Security Awareness Week 2024
/
Tasks
/
add_0_r
add_0_r
Points: 50
Tags:
proof_language
proof
coq
Poll rating:
Edit task details
You need to authenticate and join a team to post writeups
Comments
x
Sign in with
I don't remember
