GitHub repository: wilbowma/cur
Primary language: Racket
Description: A less devious proof assistant