There is a growing amount of evidence-based research supporting various botanicals; and/or primary evidence comes from a long medicinal use. Evidence-based research may be limited, but we shouldn't ignore botanicals that have been used for 1000s of years,
ProofPower is a suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation...All the ProofPower packages except PPDaz are free, open-source, software made available under the terms of the GNU General Public License. (PPDaz is Ada stuff)
T. Mossakowski, und A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Volume 8412 von Lecture Notes in Computer Science, Seite 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, und A. Tarlecki. Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski, P. Hoffman, S. Autexier, und D. Hutter. CASL Reference Manual, Volume 2960 von Lecture Notes in Computer Science, Kapitel ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
T. Mossakowski, C. Maeder, und K. Lüttich. TACAS 2007, Volume 4424 von Lecture Notes in Computer Science, Seite 519-522. Springer-Verlag Heidelberg, (2007)
M. Codescu, und T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, Volume 6859 von Lecture Notes in Computer Science, Seite 145-160. Springer, (2011)