About Aurel

PhD student in #rust verification, #Haxe developer, #gamejam mer, #CTF player and author

Lists

Timeline

Aurel300 has no activity yet