| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .envrc | 10 | log plain |
| -rw-r--r-- | .gitignore | 15 | log plain |
| -rw-r--r-- | flake.lock | 2978 | log plain |
| -rw-r--r-- | flake.nix | 1301 | log plain |
| -rw-r--r-- | main.py | 3230 | log plain |
| -rw-r--r-- | poetry.lock | 47200 | log plain |
| -rw-r--r-- | pyproject.toml | 324 | log plain |
 |
index : skimap.git | |
| graph SK form reductions | tzlil |
| summary refs log tree commit diff |