GitHub repository: DominicPM/supervisionary
Primary language: Rust
Description: Supervisionary: a proof-checking system for HOL