Development Project for a device

Yes buddy,,,,its me imad,,, will make and ship u the complete prototype,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,

hi disclaimer: I never worked with event b before. however at my university they use it and I am familiar with writing proofs on paper and also with programming in functional languages. so learning event b wouldn't be a issue for me. feel free to ask any questions in chat and share detailed project description