Robuta

https://github.com/stephanadelsb/PPDP18 GitHub - stephanadelsb/PPDP18: Code from the paper / Declarative GUIs: Simple, Consistent, and... Code from the paper / Declarative GUIs: Simple, Consistent, and Verified - stephanadelsb/PPDP18 from the