More information about Princess can be found on the main webpage, https://philipp.ruemmer.org/princess.shtml
The Princess Theorem Prover
More information about Princess can be found on the main webpage, https://philipp.ruemmer.org/princess.shtml
The Princess Theorem Prover
Other