Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitmodules | 88 | logstatsplain |
-rw-r--r-- | Makefile | 148 | logstatsplain |
-rw-r--r-- | README.md | 163 | logstatsplain |
-rw-r--r-- | _CoqProject | 12 | logstatsplain |
-rw-r--r-- | flake.lock | 534 | logstatsplain |
-rw-r--r-- | flake.nix | 1841 | logstatsplain |
d--------- | lib | 34 | logstatsplain |
d--------- | src | 294 | logstatsplain |