Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | food-to-table.py | 1196 | logplain |
-rwxr-xr-x | generate-food.py | 3392 | logplain |
index : true/2IMF25-AR | ||
Automated Reasoning |
summaryrefslogtreecommitdiff |
Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | food-to-table.py | 1196 | logplain |
-rwxr-xr-x | generate-food.py | 3392 | logplain |