---
title: "tools/mathlib — Mova code models"
description: "The 16 code-associated groupants of tools/mathlib in the Mova repository. Each binds a piece of Rust to its models, labels and checks."
url: "https://groupants.elamur.ai/free/en/mova/tools/mathlib/"
---
Elamur: [Mova](https://md.mova.elamur.ai/free/en/) · [Dictionary](https://md.dictionary.elamur.ai/free/en/) · [Research](https://md.research.elamur.ai/free/en/) · **Groupants**

This page as HTML: <https://groupants.elamur.ai/free/en/mova/tools/mathlib/>

# tools/mathlib

The groupants that sit beside the Rust code of tools/mathlib in the Mova repository.

16 groupants of `tools/mathlib`, in repository order. Each page shows the node's components with their labels, its obernants and its model text.

| groupant | source or scope | label |
|---|---|---|
| [mathlib-books](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/books.rs.groupant/) | `tools/mathlib/src/books.rs` | partial source bound model |
| [mathlib-books-license](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/books.rs.groupant/license.groupant/) | `tools/mathlib/src/books.rs` | partial source bound model |
| [mathlib-duck](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/duck.rs.groupant/) | `tools/mathlib/src/duck.rs` | partial source bound model |
| [mathlib-fetch](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/fetch.rs.groupant/) | `tools/mathlib/src/fetch.rs` | partial source bound model |
| [mathlib-fetch-archive](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/fetch.rs.groupant/archive.groupant/) | `tools/mathlib/src/fetch.rs` | partial source bound model |
| [mathlib-fetch-manifest](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/fetch.rs.groupant/manifest.groupant/) | `tools/mathlib/src/fetch.rs` | partial source bound model |
| [mathlib-gcs](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/gcs.rs.groupant/) | `tools/mathlib/src/gcs.rs` | partial source bound model |
| [mathlib-http](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/http.rs.groupant/) | `tools/mathlib/src/http.rs` | partial source bound model |
| [mathlib-http-codecs](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/http.rs.groupant/codecs.groupant/) | `tools/mathlib/src/http.rs` | partial source bound model |
| [mathlib-main](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/main.rs.groupant/) | `tools/mathlib/src/main.rs` | partial source bound model |
| [mathlib-oai](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/oai.rs.groupant/) | `tools/mathlib/src/oai.rs` | partial source bound model |
| [mathlib-oai-state](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/oai.rs.groupant/state.groupant/) | `tools/mathlib/src/oai.rs` | partial source bound model |
| [mathlib-raw](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/raw.rs.groupant/) | `tools/mathlib/src/raw.rs` | partial source bound model |
| [mathlib-raw-record](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/raw.rs.groupant/record.groupant/) | `tools/mathlib/src/raw.rs` | partial source bound model |
| [mathlib-robots](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/robots.rs.groupant/) | `tools/mathlib/src/robots.rs` | partial source bound model |
| [mathlib-robots-rules](https://md.groupants.elamur.ai/free/en/mova/tools/mathlib/src/robots.rs.groupant/rules.groupant/) | `tools/mathlib/src/robots.rs` | partial source bound model |