GitHub repository: qishen/differential-formula
Primary language: Rust
Description: Formal Modeling Using Logic Programming and Analysis