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