Information about verification tools. Browse the data at https://slebok.github.io/proverb/ - View it on GitHub