GitHub repository: qjd2413/turnstile
Created: 2018-09-24T21:03:03Z
Description: Proof verification for LaTeX documents