# Install proper with Homebrew

QuickCheck-inspired property-based testing tool for Erlang. Version 1.5.0 via Homebrew; verified from local package data.

## Install

```sh
sudo av install brew:proper
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install proper
```

  Evidence: local Homebrew formula metadata

## Package facts

- **Package key:** brew:proper
- **Package manager:** Homebrew
- **Package manager page:** <https://formulae.brew.sh/formula/proper>
- **Version:** 1.5.0
- **Source summary:** QuickCheck-inspired property-based testing tool for Erlang
- **Homepage:** <https://proper-testing.github.io>
- **Repository:** <https://github.com/proper-testing/proper>
- **Upstream docs:** <https://proper-testing.github.io>
- **License:** GPL-3.0-or-later
- **Source archive:** <https://github.com/proper-testing/proper/archive/refs/tags/v1.5.0.tar.gz>
- **Generated:** 2026-08-04T22:13:35+00:00

## Dependencies

- erlang

## Build dependencies

- rebar3

## Install behavior

- Post-install hook: not defined
- Caveats: To use PropEr in Erlang, you may need: export ERL_LIBS=$HOMEBREW_PREFIX/opt/proper/proper-1.5
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux

## Freshness

- Page generated: 2026-08-04
- Package-manager version: 1.5.0
- Local data: ok
- Upstream repository: https://github.com/proper-testing/proper
- Upstream latest detected: v1.5.0 (current)
- info: No package-manager update timestamp was available.

## Security Notes

No matching local secret-handling manifest was found for proper. Package metadata is still published here so future coverage has a stable package URL.


## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** proper
- **Version Scheme:** 0
- **Revision:** 0
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** stable


## Related links

- [Source-control packages](https://pkg.so/source-control-tools/) - Belongs to a source-control command family.
- [Networking and protocol packages](https://pkg.so/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Homebrew utility packages](https://pkg.so/brew-utility-packages/) - Matched curated package taxonomy and local package facts.
- [erlang](https://pkg.so/brew/erlang/) - Runtime dependency declared by Homebrew.
- [rebar3](https://pkg.so/brew/rebar3/) - Build dependency declared by Homebrew.
- [tsung](https://pkg.so/brew/tsung/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang, testing.
- [ejabberd](https://pkg.so/brew/ejabberd/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang.
- [elixir](https://pkg.so/brew/elixir/) - Both packages touch the same language runtime or ecosystem. Shared terms: erlang.

## Sources

- pkg.so package database
- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph