- ๐ I'm a software engineer based in Spain ๐ช๐ธ
- ๐ Programming is my job AND my hobby
- ๐ฅ Interested in mobile dev and security
- ๐ฅ Teaching with YouTube videos!
- ๐ Dart & Python are baes, but I don't discriminate
- ๐ฌ Always willing to help! Reach out:
memoriasit / formal-methods-specification Goto Github PK
View Code? Open in Web Editor NEWFormal Methods Specification to model the "Lamport Bakery" using an invented language