[Verifpal] Announcing VerifHub

Nadim Kobeissi nadim at symbolic.software
Sun Jun 28 10:34:18 CEST 2020


Hello everyone,

VerifHub now also has the following features:

- Analysis results for models can now be directly viewed within VerifHub itself!
- Comments section for each model to discuss models!
- Better viewing on mobile devices and small screens!
- A privacy policy!
- Bug fixes and improvements!

Check it out here:
https://verifhub.verifpal.com/87b27566f0bb3e918ee319af71ea0f9d
https://verifhub.verifpal.com/fd313954d1390b9cfc65ab17711ff22f

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On 26 Jun 2020, at 3:51 PM, Nadim Kobeissi <nadim at symbolic.software> wrote:
> 
> Hello everyone,
> 
> Verifpal 0.14.6 introduces support for VerifHub:
> https://verifhub.verifpal.com/
> 
> In the near future, Verifhub will also supporting viewing the analysis results for models within the VerifHub URL itself.
> 
> Feedback welcome.
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> 



More information about the Verifpal mailing list