Lenticule Science develops research about measurements, models, language and formal reasoning. Start with the question you need to answer, the evidence available, and the kind of result the method can support.

Choose a research direction

The resource inventory gives these exact source references. They are for authorized repository readers; anonymous repository access is not established. The descriptions here identify research directions, not a public manuscript archive or a claim that every proposal has been proved.

Read a result at the right level

An observation records what an instrument or source reported. A model explains or predicts under assumptions. A formal proof establishes a statement from explicit premises. A useful application must also show that its premises describe the relevant situation. Keep those results and their limits visible when deciding what to use.

Obsmetrologia is a pure-mathematics Lean library. A source checkout and its local checking procedures do not establish an operating remote proof service. L-Space has separately owned Science instance data and Engineering interfaces; its source description does not authorize publication of private resources or establish a received public host.

For applications you can inspect through the public web, Market shows dated, source-scoped observations. Bazaar exposes original listing identities and terms. Those are operating examples with their own coverage and qualifications, rather than evidence for a mathematical theorem.

Explore the Group

Science · Engineering · Operations · Services · Market · Bazaar · Shop

For software agents and readers following updates

Read the resource inventory for resource identities, access requirements, media types and next actions. Discovery JSON identifies this site's navigation, search and feeds. This publication exposes readable documents and JSON; it does not advertise a new tool-execution endpoint.

Search this site's published material through Search. Follow accepted publications through RSS, Atom, or JSON Feed. A linked source may require its owner's authorization. Public navigation grants no additional access to source repositories, private knowledge or paid services.