✨ Tugas Besar Metode Formal Kelompok 11✨

This is the repository for our project "Tugas Besar Metode Formal".

Team Members

• ${\textsf{\color{red}Naufal Ajhar El Hafizh}}$
  • NIM: 1302223040
• ${\textsf{\color{blue}M Galang Pradwita}}$
  • NIM: 1302223015
• ${\textsf{\color{green}Muhammad Rafi Nadhif}}$
  • NIM: 1302220142
• ${\textsf{\color{lightblue}Haikal Alfaro}}$
  • NIM: 1302220098