Project Statistics

theorems contains the number of theorems (not axioms) that were invented by the user.
proofs shows how many proofs were done, for a completed project this is equal to the number of theorems.
proof steps shows the number of rule applications of the calculus.
interactions is the number rule applications that were done by the user.

Proofs spec-name data? lib? theorems proofs proof steps interactions nonlib specs 3718 3718 34162 13633 lib specs 5155 5155 29996 13343 total 8873 8873 64158 26976 addarray No No 340 340 2404 1099 addfuns No No 484 484 3074 1065 classname Yes No 0 0 0 0 classnamefuns No No 2 2 2 2 classnames No No 2 2 5 2 classnameset No No 0 0 0 0 compatible No No 18 18 645 259 contains No No 99 99 2101 843 cyclic No No 183 183 5319 2143 fieldinit No No 5 5 8 4 fieldname Yes No 0 0 0 0 fieldspec Yes No 1 1 1 0 float No No 0 0 0 0 initstate Yes No 0 0 0 0 javachar No No 0 0 0 0 javastore No No 108 108 224 49 javatype Yes No 3 3 5 1 javatypes No No 0 0 0 0 javavalue Yes No 37 37 65 6 javavalues No No 0 0 0 0 junkrefs No No 493 493 5502 2165 label Yes No 0 0 0 0 multiarrays No No 104 104 999 403 okfuns No No 485 485 3131 1120 pointers No No 76 76 1540 712 predefined No No 43 43 194 32 reference No No 14 14 26 10 references No No 0 0 0 0 refkey Yes No 3 3 3 0 refkeykeys Yes No 0 0 0 0 refkeyvalues No No 0 0 0 0 reflistset No No 0 0 0 0 sharing No No 95 95 3666 1544 specialkeys No No 54 54 56 2 storearrays No No 307 307 1701 791 storefuns No No 306 306 1423 583 storefunsx No No 107 107 819 295 storekey Yes No 3 3 5 1 storekeys No No 0 0 0 0 typefuns No No 203 203 643 337 value+type Yes No 0 0 0 0 valuefuns No No 81 81 283 43 valuesfuns No No 62 62 318 122 valuetypes No No 0 0 0 0 assoclist No Yes 55 55 334 126 assoclista No Yes 0 0 0 0 bitlista No Yes 22 22 45 2 bitopsaux No Yes 161 161 932 346 bool Yes Yes 0 0 0 0 byte No Yes 392 392 2749 1538 bytelist No Yes 0 0 0 0 bytes No Yes 245 245 4561 2421 char No Yes 0 0 0 0 data No Yes 0 0 0 0 elem No Yes 0 0 0 0 elemdata No Yes 0 0 0 0 gelem No Yes 0 0 0 0 int-abs No Yes 276 276 505 107 int-basic1 No Yes 51 51 120 40 int-basic2 No Yes 55 55 164 40 int-div No Yes 439 439 2416 1148 int-min No Yes 34 34 82 9 int-mult No Yes 291 291 953 429 int-pot No Yes 133 133 662 326 int-square No Yes 25 25 474 347 int-total No Yes 0 0 0 0 int2bits No Yes 311 311 2710 1389 intlist No Yes 20 20 160 66 intlista No Yes 0 0 0 0 intnat No Yes 133 133 403 164 intops No Yes 363 363 5258 2699 list No Yes 128 128 336 71 list-data Yes Yes 30 30 46 0 list-del No Yes 269 269 1109 264 list-dup No Yes 99 99 580 161 list-last No Yes 156 156 391 111 list-perm No Yes 95 95 689 232 list-set No Yes 116 116 464 119 nat No Yes 119 119 227 66 nat-basic1 Yes Yes 64 64 105 4 nat-basic2 No Yes 65 65 182 56 nat-div No Yes 138 138 395 155 nat-mult No Yes 214 214 573 239 oelem No Yes 8 8 10 2 olist No Yes 49 49 312 90 olist-sort No Yes 23 23 57 29 olista No Yes 0 0 0 0 oset No Yes 108 108 223 74 oseta No Yes 0 0 0 0 ostore No Yes 40 40 123 43 ostore+oset No Yes 0 0 0 0 ostorea No Yes 0 0 0 0 pair Yes Yes 0 0 0 0 set-basic No Yes 95 95 428 88 set-union No Yes 183 183 598 109 setlist No Yes 22 22 88 37 store No Yes 71 71 356 127 string-append No Yes 15 15 34 11 string-data Yes Yes 4 4 7 0 string-less No Yes 38 38 135 58

Lines et. al. of Specifications spec-name data? lib? lines axioms operations sorts all specs No No 5588 1632 565 49 all lib specs No No 1711 346 195 23 all nonlib specs No No 3877 1286 370 26 all data specs No No 68 68 34 10 all nondata specs No No 5421 885 451 33 all data lib specs No No 34 34 17 5 all nondata lib specs No No 1677 312 178 18 all data nonlib specs No No 133 713 97 11 all nondata nonlib specs No No 3744 573 273 15 addarray No No 72 8 6 0 addfuns No No 229 37 17 0 classname Yes No 6 4 2 1 classnamefuns No No 48 6 3 0 classnames No No 25 0 0 1 classnameset No No 7 0 0 1 compatible No No 177 16 13 0 contains No No 60 5 4 0 cyclic No No 87 9 5 0 fieldinit No No 21 0 0 1 fieldname Yes No 8 4 2 1 fieldspec Yes No 13 6 4 1 float No No 16 0 6 2 initstate Yes No 5 4 3 1 javachar No No 19 1 3 1 javastore No No 11 0 0 1 javatype Yes No 14 112 17 1 javatypes No No 16 0 0 1 javavalue Yes No 47 550 52 1 javavalues No No 17 0 0 1 junkrefs No No 255 29 25 0 label Yes No 6 4 2 1 multiarrays No No 206 26 9 0 okfuns No No 516 87 34 0 pointers No No 88 8 5 0 predefined No No 358 49 4 0 reference No No 26 7 3 1 references No No 24 0 0 1 refkey Yes No 8 5 3 1 refkeykeys Yes No 8 5 3 1 refkeyvalues No No 21 0 0 1 reflistset No No 7 0 0 1 sharing No No 88 9 7 0 specialkeys No No 60 10 8 0 storearrays No No 105 21 15 0 storefuns No No 193 41 32 0 storefunsx No No 148 24 22 0 storekey Yes No 10 14 6 1 storekeys No No 16 0 0 1 typefuns No No 244 36 19 0 value+type Yes No 8 5 3 1 valuefuns No No 425 112 16 0 valuesfuns No No 143 32 17 0 valuetypes No No 16 0 0 1 assoclist No Yes 42 10 5 0 assoclista No Yes 16 0 0 1 bitlista No Yes 17 0 0 1 bitopsaux No Yes 73 15 5 0 bool Yes Yes 5 2 2 1 byte No Yes 140 31 25 4 bytelist No Yes 17 0 0 1 bytes No Yes 63 13 7 0 char No Yes 19 0 0 1 data No Yes 6 0 0 1 elem No Yes 6 0 0 1 elemdata No Yes 2 0 0 0 gelem No Yes 8 0 0 0 int-abs No Yes 27 7 6 0 int-basic1 No Yes 29 6 3 1 int-basic2 No Yes 9 3 1 0 int-div No Yes 24 4 2 0 int-min No Yes 31 8 5 0 int-mult No Yes 15 3 1 0 int-pot No Yes 22 3 1 0 int-square No Yes 13 2 2 0 int-total No Yes 9 1 0 0 int2bits No Yes 60 11 4 0 intlist No Yes 53 12 6 0 intlista No Yes 18 0 0 1 intnat No Yes 19 5 2 0 intops No Yes 229 29 17 0 list No Yes 29 6 5 0 list-data Yes Yes 9 12 6 1 list-del No Yes 110 26 11 0 list-dup No Yes 30 7 4 0 list-last No Yes 54 11 8 0 list-perm No Yes 24 5 3 0 list-set No Yes 38 8 4 0 nat No Yes 15 5 4 0 nat-basic1 Yes Yes 6 9 3 1 nat-basic2 No Yes 13 5 1 0 nat-div No Yes 13 2 2 0 nat-mult No Yes 8 2 1 0 oelem No Yes 15 3 1 0 olist No Yes 37 9 4 0 olist-sort No Yes 12 2 1 0 olista No Yes 1 0 0 1 oset No Yes 36 8 6 0 oseta No Yes 1 0 0 1 ostore No Yes 20 4 3 0 ostore+oset No Yes 2 0 0 0 ostorea No Yes 1 0 0 1 pair Yes Yes 6 5 3 1 set-basic No Yes 39 6 5 1 set-union No Yes 25 5 5 0 setlist No Yes 21 4 2 0 store No Yes 63 12 9 2 string-append No Yes 12 3 2 0 string-data Yes Yes 8 6 3 1 string-less No Yes 91 16 5 0