amandasystems / princess

The Princess Theorem Prover

Geek Repo

Github PK Tool

The Princess Theorem Prover

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

About

The Princess Theorem Prover

Other

Languages

Language:Scala 69.8%Language:QMake 17.0%Language:SMT 10.2%Language:OpenEdge ABL 1.7%Language:Shell 0.8%Language:TeX 0.3%Language:Makefile 0.2%Language:Batchfile 0.0%Language:Awk 0.0%