GitHub repository: rinor/Formality
Primary language: Rust
Description: An efficient programming language and proof assistant.