Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 3118 | logstatsplain |
-rw-r--r-- | NonEmpty.v | 2861 | logstatsplain |
-rw-r--r-- | _CoqProject | 369 | logstatsplain |
-rw-r--r-- | env-alt.mkiv | 4092 | logstatsplain |
-rw-r--r-- | env.mkiv | 1502 | logstatsplain |
-rw-r--r-- | flake.lock | 534 | logstatsplain |
-rw-r--r-- | flake.nix | 1518 | logstatsplain |
-rw-r--r-- | main.org | 5639 | logstatsplain |