Vergrep - Verified Regular Expression String Search Utility

The main objective of the Vergrep project is to develop a provably correct and efficient regular expression string search tool using type theory-based proof assistants.