se-theory-reference-kit/CITATION.cff at main · structural-explainability/se-theory-reference-kit · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
# ============================================================
# CITATION.cff (How to cite this project)
# ============================================================

# REQ.UNIVERSAL: Professional open projects SHOULD include this file.
# USAGE: See https://citation-file-format.github.io/ for details.

cff-version: "1.2.0"
type: software
message: "If you use this work, please cite it using the metadata in this file."

title: "SE Theory: Reference Kit"
version: "0.3.1"
date-released: "2026-07-29"

authors:
  - family-names: Case
    given-names: Denise M.
    orcid: "https://orcid.org/0000-0001-6165-7389"
    affiliation: "Northwest Missouri State University, School of Computer Science and Information Systems, Maryville, MO, USA"

year: 2026
repository-code: "https://github.com/structural-explainability/se-theory-reference-kit"
url: "https://github.com/structural-explainability/se-theory-reference-kit"

license: MIT

abstract: >
  SE Theory: Reference Kit is a shared Python package for Structural
  Explainability theory repositories. It provides generic tooling for loading,
  scaffolding, validating, and exporting theory-reference artifacts that mirror
  Lean public surfaces. The package supplies reusable reference-validation and
  export infrastructure while leaving Lean semantics, public symbol declarations,
  and theory-specific artifact maps under the ownership of each theory
  repository.

keywords:
  - structural-explainability
  - theory-reference
  - lean4
  - formal-theory
  - public-surface
  - reference-artifacts
  - validation
  - scaffolding
  - export
  - python