Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | ACL2-extractor.dfy | 6861 | logplain |
-rw-r--r-- | Answer | 1238 | logplain |
-rw-r--r-- | Circ.dfy | 2177 | logplain |
-rw-r--r-- | CoqArt-InsertionSort.dfy | 4231 | logplain |
-rw-r--r-- | Fstar-QuickSort.dfy | 4286 | logplain |
-rw-r--r-- | GHC-MergeSort.dfy | 22258 | logplain |
-rw-r--r-- | KozenSilva.dfy | 13416 | logplain |
-rw-r--r-- | NumberRepresentations.dfy | 9210 | logplain |
-rw-r--r-- | Primes.dfy | 5377 | logplain |
-rw-r--r-- | SoftwareFoundations-Basics.dfy | 11165 | logplain |
-rw-r--r-- | runtest.bat | 329 | logplain |