New
openmathmodel/open-math-harness v0.41.0 — Math Research Runtime
openmathmodel/open-math-harness is a Rust runtime that supports collaborative exploration by mathematical agents and proof verification in Open Math OS.
openmathmodel/open-math-harness
openmathmodel/open-math-harness is a Rust runtime that supports collaborative exploration by mathematical agents and proof verification in Open Math OS.
View on GitHub ↗- stars
- ★ 151
- Forks
- 17
- Language
- Rust
- License
- Apache-2.0
- Latest release
- v0.41.0
Posts
1No matching stories.