formal-ai 0.97.0

Formal symbolic AI implementation with OpenAI-compatible APIs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# formal-ai data

This directory stores reviewable Links Notation seed data for issue #1.

Generate or refresh the checked-in `.lino` files with:

```bash
rust-script scripts/download-datasets.rs
```

The records use the indented, untyped formatting helpers from
`lino-objects-codec` so reviewers can read and edit them directly. Keep every
`.lino` file at or below 1500 lines; `rust-script scripts/check-file-size.rs`
enforces that limit.