/

• .gitignore
• LICENSE
• README.org
• bin
• docs
• dune-project
• editors
• examples
• flake.lock
• flake.nix
• lib
• sol.opam
• test
• theories