# Users

**proven** gives you safer functions so your apps crash less and avoid security bugs.

What matters to you:
- Functions are proven correct in Idris 2
- No hidden logic in wrappers
- Safer defaults for parsing, paths, URLs, and JSON

If you just want reliable functions, you don’t need to know the details—Idris proofs handle it for you.