formal-ai 0.148.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
import DOMPurify from "dompurify";
import { marked } from "marked";
import React from "react";
import { createRoot } from "react-dom/client";
import { createI18n, parseLinoCatalogs } from "lino-i18n";

window.React = React;
window.ReactDOM = { createRoot };
window.marked = marked;
window.DOMPurify = DOMPurify;
window.FormalAiVendor = {
  ...(window.FormalAiVendor || {}),
  LinoI18n: {
    createI18n,
    parseLinoCatalogs,
  },
};