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