/

• .gitattributes
• .gitignore
• .ocamlformat
• .ocamlformat-ignore
• COPYING
• Makefile
• README.md
• _CoqProject
• axioms.nix
• bin
• cloc-rocq.sh
• cloc.nix
• coverage.nix
• coverage.sh
• default.nix
• dune-project
• explorer
• importdef.sexp
• lib
• mininix.opam
• mininix.opam.locked
• nixpkgs-pinned.nix
• shell.nix
• test
• theories