| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AlgebraicDatatypes.v | 21062 | logstatsplain |
| -rw-r--r-- | CleopatraV1.org | 11695 | logstatsplain |
| -rw-r--r-- | ClightIntroduction.v | 11965 | logstatsplain |
| -rw-r--r-- | DiscoveringCommonLisp.org | 8558 | logstatsplain |
| -rw-r--r-- | ExtensibleTypeSafeErrorHandling.org | 17096 | logstatsplain |
| -rw-r--r-- | Ltac101.v | 9077 | logstatsplain |
| -rw-r--r-- | MiniHTTPServer.v | 34688 | logstatsplain |
| -rw-r--r-- | MonadTransformers.org | 4010 | logstatsplain |
| -rw-r--r-- | RewritingInCoq.v | 11812 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctions.v | 11903 | logstatsplain |
| -rw-r--r-- | StronglySpecifiedFunctionsProgram.v | 14126 | logstatsplain |
| -rw-r--r-- | Thanks.org | 3301 | logstatsplain |