[Verifpal] Verifpal 0.20.0 will contain list of contributors and testers

Friedrich Wiemer friedrich.wiemer at rub.de
Sat Dec 12 22:09:16 CET 2020


Hey,

cool, thanks a lot! :)

Best,
Friedrich

Am 12/12/2020 um 20:56 schrieb Nadim Kobeissi via Verifpal:
> Hello everyone,
> 
> I am very inspired by, and grateful towards, the repeat contributions and bug reports many of you have submitted for Verifpal.
> 
> As a consequence, Verifpal 0.20.0 will have a new command, “verifpal about”, which, when executed, will print the following text:
> 
> ```
> Verifpal 0.20.0 - https://verifpal.com
> 
> Verifpal is authored by Nadim Kobeissi.
> The following individuals, have contributed
> meaningful suggestions, bug reports, ideas
> or discussion to the Verifpal project:
> 
>   - Angèle Bossuat
>   - Bruno Blanchet (Prof. Dr.)
>   - Friedrich Wiemer
>   - Georgio Nicolas
>   - Jean-Philippe Aumasson (Dr.)
>   - Laurent Grémy
>   - Loup Vaillant David
>   - Michiel Leenars
>   - "Mike" (pseudonym)
>   - Mukesh Tiwari (Dr.)
>   - Oleksandra "Sasha" Lapiha
>   - Renaud Lifchitz
>   - Sebastian R. Verschoor
>   - Tom Roeder
> ```
> 
> I hope that the above captures everyone who has participated meaningfully in the context of the Verifpal project. If your name is missing, please let me know!
> 
> The commit is available here:
> https://source.symbolic.software/verifpal/verifpal/-/commit/c747713a21d1efba332dd50c102660543d5195da
> 
> Thank you all,
> 
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software


More information about the Verifpal mailing list