GitHub repository: kenmonks/lurch
Primary language: HTML
Description: Lurch is a math editor that can check your proofs!