| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 3118 | logstatsplain |
| -rw-r--r-- | _CoqProject | 369 | logstatsplain |
| -rw-r--r-- | env-alt.mkiv | 4092 | logstatsplain |
| -rw-r--r-- | env.mkiv | 1502 | logstatsplain |
| -rw-r--r-- | flake.lock | 534 | logstatsplain |
| -rw-r--r-- | flake.nix | 1518 | logstatsplain |
| -rw-r--r-- | main.org | 5639 | logstatsplain |
 |
index : pred-aware-ai | |
| [no description] |
| summaryrefslogtreecommitdiffstats |