#
physlean
Here are 2 public repositories matching this topic...
Nasrudin is a Theorem Generator for physics using genetic algorithms and existing axums. Formulates new theorems using Rust and provides with proofs in Lean. Synthetic theorem generation with formal verification
-
Updated
Jun 29, 2026 - Rust
Add this topic to your repo
To associate your repository with the physlean topic, visit your repo's landing page and select "manage topics."