Proof Systems Using Merlin

To submit an addition to this list, submit a pull request on GitHub.