diff --git a/CITATION.cff b/CITATION.cff new file mode 100644 index 0000000..9cb9e96 --- /dev/null +++ b/CITATION.cff @@ -0,0 +1,24 @@ +cff-version: 1.2.0 +message: "If you use this software, please cite it as below." +type: software +title: "Proof Burrower" +abstract: "Proof Burrower — specialist swarm + Burrow Ledger for proof-goal homing" +authors: + - family-names: "Jewell" + given-names: "Jonathan D.A." + orcid: "https://orcid.org/0000-0002-3078-6652" +repository-code: "https://github.com/hyperpolymath/proof-burrower" +keywords: + - "hyperpolymath" + - "ocaml" + - "open-source" + - "epistemic-computing" + - "epistemic-infrastructure" + - "equivalence-aware-computing" + - "formal-verification" + - "proof-engineering" + - "reproducible-research" + - "research-software" + - "theorem-proving" + - "typed-provenance" + - "veridical-computing" diff --git a/docs/attribution/CITATION.cff b/docs/attribution/CITATION.cff index 0b6745a..a0179ce 100644 --- a/docs/attribution/CITATION.cff +++ b/docs/attribution/CITATION.cff @@ -3,7 +3,7 @@ message: "If you use this software, please cite it as below." authors: - family-names: "Jewell" given-names: "Jonathan" - orcid: "https://orcid.org/0000-0000-0000-0000" # Placeholder + orcid: "https://orcid.org/0000-0002-3078-6652" title: "Proof Burrower" version: 0.1.0 date-released: 2026-04-26