https://github.com/argumentcomputer/YatimaStdLib.lean

https://github.com/argumentcomputer/YatimaStdLib.lean

Last synced: 11 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/argumentcomputer/YatimaStdLib.lean
• Owner: argumentcomputer
• License: mit
• Created: 2022-06-24T12:30:28.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2024-10-21T19:00:47.000Z (over 1 year ago)
• Last Synced: 2025-05-28T18:19:33.833Z (about 1 year ago)
• Language: Lean
• Size: 3.68 MB
• Stars: 8
• Watchers: 4
• Forks: 7
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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`