/

• .envrc
• .gitignore
• Makefile
• _CoqProject
• flake.lock
• flake.nix
• theories