| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 10 | logstatsplain |
| -rw-r--r-- | .gitignore | 3118 | logstatsplain |
| -rw-r--r-- | Makefile | 675 | logstatsplain |
| -rw-r--r-- | _CoqProject | 501 | logstatsplain |
| -rw-r--r-- | env-alt.mkiv | 4092 | logstatsplain |
| -rw-r--r-- | env.mkiv | 2050 | logstatsplain |
| -rw-r--r-- | flake.lock | 534 | logstatsplain |
| -rw-r--r-- | flake.nix | 1518 | logstatsplain |
| -rw-r--r-- | main.org | 8897 | logstatsplain |
 |
index : pred-aware-ai | |
| [no description] |
| summaryrefslogtreecommitdiffstats |