Add explicit proof target
-rw-r--r-- 268 .arcconfig
-rw-r--r-- 63 .arclint
-rw-r--r-- 28 .gitignore
-rw-r--r-- 1174 Makefile
-rw-r--r-- 19362 README
drwxr-xr-x - data
drwxr-xr-x - schema
-rw-r--r-- 781 spark.adc
drwxr-xr-x - src
-rw-r--r-- 870 tau0.gpr
-rw-r--r-- 2163 todo.org