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

Nadim Kobeissi nadim at symbolic.software
Sat Dec 12 20:56:25 CET 2020

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:

Thank you all,

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

More information about the Verifpal mailing list