[Verifpal] Verifpal 0.3

[Nadim Kobeissi]

Hello everyone,

Verifpal 0.3 has been released:
https://github.com/SymbolicSoft/verifpal/releases/tag/0.3

Changelog:
	• Fix: terminate on extremely tiny and simple models.
	• Fix: capitalize generator constant in pretty-printing.

Have a wonderful day,

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