| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | Basics.v | 14145 | logplain |
| -rwxr-xr-x | Heap.v | 9349 | logplain |
| -rwxr-xr-x | Imp.v | 34212 | logplain |
| -rwxr-xr-x | Lists.v | 12802 | logplain |
| -rwxr-xr-x | PermutSetoid.v | 15744 | logplain |
| -rwxr-xr-x | Permutation.v | 19890 | logplain |
| -rwxr-xr-x | Poly.v | 17833 | logplain |
| -rwxr-xr-x | Rel.v | 5619 | logplain |
| -rwxr-xr-x | Smallstep.v | 15590 | logplain |
| -rwxr-xr-x | Sorting.v | 49 | logplain |
| -rwxr-xr-x | Stlc.v | 15113 | logplain |
| -rw-r--r-- | interval_discr.v | 10303 | logplain |
 |
index : suspect-devices/linguist | |
| Language Savant | feurig |
| aboutsummaryrefslogtreecommitdiff |