[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"5LQcSflow4":3},"# lean4-base64\n\nRFC 4648 Base64 encoding and decoding for Lean 4.\n\n## Features\n\n- Standard Base64 encoding/decoding (RFC 4648 Section 4)\n- URL-safe Base64 encoding (RFC 4648 Section 5)\n- Whitespace-tolerant decoding\n- Pure Lean implementation with no external dependencies\n\n## Installation\n\nAdd to your `lakefile.lean`:\n\n```lean\nrequire «lean4-base64» from git\n  \"https://github.com/predictable-machines/lean4-base64\" @ \"v0.1.0^{}\"\n```\n\n## Usage\n\n```lean\nimport Base64\n\n-- Encode bytes to standard Base64\nlet encoded := Base64.encode \"Hello, World!\".toUTF8\n-- \"SGVsbG8sIFdvcmxkIQ==\"\n\n-- Encode a string directly\nlet encoded := Base64.encodeString \"Hello, World!\"\n-- \"SGVsbG8sIFdvcmxkIQ==\"\n\n-- URL-safe encoding (for JWTs, URLs, etc.)\nlet urlSafe := Base64.encodeUrl \"Hello, World!\".toUTF8\n-- \"SGVsbG8sIFdvcmxkIQ\"\n\n-- Decode Base64 to bytes\nlet decoded := Base64.decode \"SGVsbG8sIFdvcmxkIQ==\"\n-- some #[72, 101, 108, 108, 111, ...]\n\n-- Decode Base64 to string\nlet decoded := Base64.decodeString \"SGVsbG8sIFdvcmxkIQ==\"\n-- some \"Hello, World!\"\n```\n\n## Build\n\n```bash\nmake build    # Build the library\nmake test     # Build and run tests\nmake clean    # Clean build artifacts\n```\n\n## License\n\nMIT\n",1780113394707]