aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore208logstatsplainaboutblame
-rw-r--r--.ocamlformat17logstatsplainaboutblame
-rw-r--r--.ocamlformat-ignore25logstatsplainaboutblame
-rw-r--r--COPYING30245logstatsplainaboutblame
-rw-r--r--Makefile1937logstatsplainaboutblame
-rw-r--r--README.md29495logstatsplainaboutblame
-rw-r--r--_CoqProject713logstatsplainaboutblame
-rw-r--r--axioms.nix364logstatsplainaboutblame
d---------bin214logstatsplain
-rwxr-xr-xcloc-rocq.sh4509logstatsplainaboutblame
-rw-r--r--cloc.nix314logstatsplainaboutblame
-rw-r--r--coverage.nix517logstatsplainaboutblame
-rwxr-xr-xcoverage.sh315logstatsplainaboutblame
-rw-r--r--default.nix509logstatsplainaboutblame
-rw-r--r--dune-project487logstatsplainaboutblame
d---------explorer153logstatsplain
-rw-r--r--importdef.sexp29logstatsplainaboutblame
d---------lib101logstatsplain
-rw-r--r--mininix.opam633logstatsplainaboutblame
-rw-r--r--mininix.opam.locked3541logstatsplainaboutblame
-rw-r--r--nixpkgs-pinned.nix330logstatsplainaboutblame
-rw-r--r--shell.nix534logstatsplainaboutblame
d---------test110logstatsplain
d---------theories232logstatsplain
generated by cgit v1.2.3 (git 2.49.0) at 2025-10-13 23:13:40 +0000