I'm a software engineer and computer science undergrduate, currently working with iOS and Flutter development :).
And I'm also the biggest BjΓΆrk fan you've ever seen! ππ€
lucasrsv / taes Goto Github PK
View Code? Open in Web Editor NEWExercises from advanced topics in software engineering (formal methods) - IF722, using coq.
License: MIT License