Tertius is an academic open-source collaboration by Benjamin Antieau and Deven Manam.
We build and study open-source tools for mathematical computation, AI-assisted reasoning, and scientific writing.
Tertius is an academic open-source collaboration by Benjamin Antieau and Deven Manam.
We build and study open-source tools for mathematical computation, AI-assisted reasoning, and scientific writing.
Deterministic computation for scientific mathematics in Rust and Python.
Rust
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…