Luca Suite Reporting Framework Viewer

PROOF (Github)

Github · proof

Read-only shared snapshot · Created 2026-10-20T15:18:26+00:00 · Never expires

Summary Framework Overview Assistant Rules based

Reporting style

Vocabulary

Terms0 Categories0 Datatypes0 References0

Networks

Structures0 Associations0 Model structure rules0 Arcroles (Verbs)0

Universally applicable rules

Mathematical assertions0

Disclosures

Topics0 Disclosures0 Disclosure mechanics0

Reporting style specific rules

Reporting styles0

Loading reporting styles…

Reporting checklist0 Types and parts0 FAC mappings0 FAC terms0 FAC structures0 FAC consistency rules0 FAC derivation rules0

Advanced

Relationship statistics0 Conceptual model0

Reporting Framework Summary

Presentation Calculation Definition

Search this section

Filter by structure Filter by type

Loading framework semantics…

Framework details

Select a term, structure, or rule to inspect its properties and associations.