GitHub repository: nate-droid/fox_lang
Primary language: Rust
Created: 2024-11-22T06:01:42Z
Description: A Theorem Prover and experimental Mathematically inspired language written in Rust