formal-ai 0.204.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

<!doctype html>
<html lang="en">
  <head>
    <meta charset="utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <meta name="formal-ai-version" content="__FORMAL_AI_VERSION__" />
    <meta
      name="description"
      content="formal-ai documentation — the Rust API reference (/docs/api), issue case studies, user journeys, and the contributing guide."
    />
    <!--
      The documentation hub is a self-contained chooser (issue #479): it makes
      no cross-origin requests, so a strict same-origin CSP applies. The Rust API
      reference under api/ is generated by `cargo doc` during the GitHub Pages
      deploy; the prose docs link out to the repository where they live.
    -->
    <meta
      http-equiv="Content-Security-Policy"
      content="default-src 'self'; img-src 'self' data:; script-src 'self'; style-src 'self'; base-uri 'self'; form-action 'self';"
    />
    <title>formal-ai documentation</title>
    <link rel="icon" href="data:," />
    <!-- Cache-busted with the deploy SHA exactly like / and /app/ (issue #479). -->
    <link rel="stylesheet" href="../landing.css?v=__FORMAL_AI_ASSET_VERSION__" />
  </head>
  <body>
    <main id="docs-app" class="page-shell" data-testid="docs-app">
      <noscript>
        <section class="hero">
          <h1>Documentation</h1>
          <p class="summary">Documentation for formal-ai.</p>
          <ul>
            <li><a href="api/">API reference</a></li>
            <li>
              <a href="https://github.com/link-assistant/formal-ai/tree/main/docs/case-studies"
                >Case studies</a
              >
            </li>
            <li>
              <a href="https://github.com/link-assistant/formal-ai/blob/main/docs/USER-JOURNEYS.md"
                >User journeys</a
              >
            </li>
            <li>
              <a href="https://github.com/link-assistant/formal-ai/blob/main/CONTRIBUTING.md"
                >Contributing guide</a
              >
            </li>
          </ul>
        </section>
      </noscript>
    </main>

    <!--
      The shared site-chrome.js renders the same top bar (brand + theme/locale
      switchers) the landing and download pages use, reusing the visitor's
      stored theme/locale via ../preferences.js. docs.js supplies the config.
    -->
    <script src="../preferences.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
    <script src="../site-chrome.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
    <script src="docs.js?v=__FORMAL_AI_ASSET_VERSION__"></script>
  </body>
</html>