FACTUM

The deterministic verification engine.

signed · reproducible · checkable