/nixpkgs/pkgs/development/interpreters/metamath/