YatimaStdLib.lean

An auxiliary Std lib for Lean 4 that aims to support the development of other packages for Yatima Inc.

Nix

Nix is a declarative and deterministic package manager and build tool which ensures reproducibility.

Developing

Enable auto loading dependencies into the shell with direnv allow or manually with nix develop.

Building

Build with nix build .

Tests

Run tests with nix run .#test