Folder
Homonyms
neural/rs/reference/stdlib
Rs Standard Library Extensions Module paths below use the `rs::` logical namespace. The crate on crates.io is `rs-lang`; in Rust code, import as `use rs_lang::prelude::*;` or `use rs_lang::fixed_point::FixedPoint;`. `rs::fixed_point` `rs::bounded` `rs::channel` `rs::particle` `rs::arena`
neural/trident/reference/stdlib
The Trident Standard Library: Complete Architecture std.* — A Unified Framework for Verifiable Intelligence, Privacy, and Quantum Computation The Shape of the Library Layer 0: Foundation Everything builds on this. These modules provide the mathematical and data infrastructure that all three pillars…
neural/eidos/specs/stdlib
stdlib the eidos standard library. all definitions here are eidos declarations — they elaborate to kernel terms and are admitted only after the kernel accepts the proof. the simp default set is drawn from lemmas marked `@[simp]`. the ordering follows the dependency graph. earlier definitions are…
neural/trident/docs/explanation/stdlib
The Standard Library One Field, One Proof, One Library Version: 0.1-draft Date: February 15, 2026 Status This document explains the design philosophy behind Trident's standard library. For the complete module catalog and API trees, see the [Standard Library…