Sources

Root-bound source inventory for the current release. Declarations, observations, source-native objects, and Repository bindings remain separate records.

JSON record

Source-local read projections

Rooted observations that remain outside the scientific Source Registry and have no authority effect.

Formal Conjectures PR audit

Five exact source records · public Apache-2.0 custody · no automatic Verification, Decision, or Standing effect

Inspect 5 records

Registry lookup

Search 6,631 source-native records or inspect 15 declarations

Sources: 15
Observations: 15
Native records: 6,631
Bindings: 4

Source-native records

0 bounded matches from this exact release

Exact query JSON

No matching source-native records

Change the text, exact ID, record kind, or Repository filter.

Source declarations

1 of 15 sources in this exact release

Source declaration	Exact observation	Projected objects	Repository bindings	Actions
The Physlib community source:physlib formal library · leanprover-community/physlib:API-map	observation:physlib:071ce76f0a8083cb e882411d1b6bcbdfdd336d4c509c6cc72e96842d	232 source-native rows complete coverage	0 exact links	Inspect

Source declaration

Exact observation

Projected objects

Repository bindings

The Physlib community

source:physlib

formal library · leanprover-community/physlib:API-map

observation:physlib:071ce76f0a8083cb

e882411d1b6bcbdfdd336d4c509c6cc72e96842d

232 source-native rows
complete coverage

0 exact links

Inspect

The Physlib community

leanprover-community/physlib:API-map · formal library

232 projected source-native rows · 0 Repository bindings

Inspect