::formally

The open-source
formal methods toolchain

Posts

The first three months: progress and news

March 23, 2026

No new releases have been published since the first announcement post of the project three months ago, but there are nevertheless interesting things going on.

Read more…

First version released... formally!

December 20, 2025

It is with extreme pleasure that I write this first post to announce the first preview release of ::formally, a project I devoted a lot of effort to in the last six months.

Read more…
Copyright © 2026 Nicola Gigante