Waldmeister - Theorem Prover
The Waldmeister (woodruff) we are talking about here is a highly efficient theorem prover. You might also find some recipes for woodruff, but mainly for the Waldmeister theorem prover.
Waldmeister, Galium odoratum, woodruff, theorem prover, asperula odorata, theorems, logic, logical theorems, Unfailing Knuth Bendix Completion, deduction system, logical inference, calculus, MPI, Max Planck Institute, Informatik Kaiserslaute
Is this your site? Certify your site and update informations
