uuverifiers / princess   2024-11-08

GitHub

The Princess Theorem Prover

Scala versions: 2.13 2.12 2.11