Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/applications/science/logic/

• coq/
• easycrypt/
• ekrhyper/
• leo2/
• rocq-core/
• tlaplus/
• why3/