cff-version: 1.2.0
message: "Please cite this repository and the commit SHA used in your work."
type: software
title: "copula: Finite-dimensional copulas in Lean 4"
authors:
  - family-names: Rockel
    given-names: Marcus
repository-code: "https://github.com/Corrram/copula"
url: "https://github.com/Corrram/copula"
license: Apache-2.0
keywords:
  - Lean
  - mathlib
  - copulas
  - probability
  - formal verification