An auxiliary Std lib for Lean 4 that aims to support the development of other packages for Yatima Inc.
Nix is a declarative and deterministic package manager and build tool which ensures reproducibility.
Enable auto loading dependencies into the shell with direnv allow or manually with nix develop.
Build with nix build .
Run tests with nix run .#test