html Atomic RegEx Proofs

Atomic Regex Proofs: The Unbreakable Patterns

Here you will find the most rigorous and unyielding proof of regular expressions, because someone had to do it.

Regex Invariant Proof

For every regex, there exists a proof that it will always match, no matter what.

Here is a proof that every regex will always match, no matter what.

Or, here is a proof that no regex will never match, no matter what.