New template 15 - Githubissues

anmavrid / smart-contracts

https://cps-vo.org/group/smartcontracts

MIT License

119 stars 30 forks source link

Closed Atefeh-Zareh closed 11 months ago

Atefeh-Zareh commented 11 months ago

Added new property 15: After q, if p happens then in response r eventually happens