cff-version: 1.2.0
message: "If you use Complexitylib V1 in your work, please cite it as below."
title: "Complexitylib V1: computational complexity theory in Lean 4"
type: software
authors:
  - family-names: Schlesinger
    given-names: Samuel
  - name: "The Complexitylib contributors"
repository-code: "https://github.com/SamuelSchlesinger/complexitylib-v1"
url: "https://samuelschlesinger.github.io/complexitylib-v1/"
license: Apache-2.0
keywords:
  - Lean 4
  - formal verification
  - computational complexity