GitHub repository: nyuichi/shari
Primary language: Rust
Description: A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)