| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DiscoveringCommonLisp.org | 8417 | logstatsplain |
| -rw-r--r-- | ExtensibleTypeSafeErrorHandling.org | 16944 | logstatsplain |
| -rw-r--r-- | Ltac101.v | 8921 | logstatsplain |
| -rw-r--r-- | MiniHTTPServer.v | 34579 | logstatsplain |
| -rw-r--r-- | MonadTransformers.org | 3851 | logstatsplain |
| -rw-r--r-- | RewritingInCoq.v | 11728 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctions.v | 11838 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctionsProgram.v | 14662 | logstatsplain |