Verified Parallelized Version of String Mathcing
Haskell Coq
Latest commit dc89cbe Feb 18, 2017 @nikivazou update files
Permalink
Failed to load latest commit information.
coq remove redirect Feb 18, 2017
lib add stupid test Jan 26, 2017
src update files Feb 19, 2017
.gitignore Initial commit Oct 18, 2016
.travis.yml add everything Feb 7, 2017
LICENSE Initial commit Oct 18, 2016
README.md Create README.md Oct 22, 2016
stack.yaml update LH Feb 6, 2017
verified-string-matching.cabal name change Oct 18, 2016

README.md