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, и A. Tarlecki. 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), том 8412 из Lecture Notes in Computer Science, стр. 441-456. Springer-Verlag Berlin Heidelberg, (2014)
T. Mossakowski, A. Haxthausen, D. Sannella, и A. Tarlecki. Logics of formal specification languages, том 22 из Monographs in Theoretical Computer Science, глава 3, Springer-Verlag Heidelberg, (2008)
T. Mossakowski, P. Hoffman, S. Autexier, и D. Hutter. CASL Reference Manual, том 2960 из Lecture Notes in Computer Science, глава ÏV, Springer Verlag, London, Ëdited by T. Mossakowski.(2004)
M. Codescu, и T. Mossakowski. Algebra and Coalgebra in Computer Science, CALCO'11, том 6859 из Lecture Notes in Computer Science, стр. 145-160. Springer, (2011)