Read news on universal property with our app.
Read more in the app
Hegel, a universal property-based testing protocol and family of PBT libraries
