NeutralSubstrate/CITATION.cff at main · SATHISATYA/NeutralSubstrate · 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
cff-version: "1.2.0"
type: software

title: "Structural Explainability: Neutral Substrate Formalization"
version: "0.1.0"
date-released: "2025-12-23"

authors:
  - family-names: Case
    given-names: Denise M.
    orcid: "https://orcid.org/0000-0001-6165-7389"
    affiliation: "Northwest Missouri State University; Civic Interconnect"

repository-code: "https://github.com/structural-explainability/NeutralSubstrate"
license: MIT

keywords:
  - structural-explainability
  - accountability
  - ontological-neutrality
  - neutral-substrate
  - formal-specification
  - formal-verification
  - proof-carrying
  - theorem-proving
  - lean4

message: "If using this software, please cite it as described in this file."