/verified-matching

Verified implementations of Z exact string matching algorithm.

This repository is not active