Uses of Class wytp.provers.AutomatedTheoremProver (Whiley Theorem Prover (WyTP) 0.6.8 API)

Packages that use AutomatedTheoremProver
Package	Description
wyal.tasks

Constructors in wyal.tasks with parameters of type AutomatedTheoremProver
Constructor and Description
`CompileTask(wybs.lang.Build.Project project, TypeSystem typeSystem, AutomatedTheoremProver prover)`

Uses of Classwytp.provers.AutomatedTheoremProver