predictable-machineslean4-base640.1.0

RFC 4648 Base64 encoding and decoding for Lean 4
Displaying 1-2 of 2 versions of lean4-base64
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    2 months ago
    Released on March 30, 2026 at 8:38:40AM
    Commit 15d7869 builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    146.8 KB Build archive size: 146754 bytes.
  2. 0.1Version track: 0.1
    0.1.0
    v0.1.0
    2 months ago
    Released on March 30, 2026 at 8:38:40AM
    Commit 15d7869 builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    146.8 KB Build archive size: 146754 bytes.