No privacy policy observable on domain; personal blog context.
Terms of Service
—
No ToS observable; personal blog without commercial terms.
Identity & Mission
Mission
+0.15
Article 27 Article 19
Domain owner Leonardo de Moura is creator of Lean theorem prover; blog advocates for formal verification as public good, aligning with knowledge accessibility and scientific contribution values.
Editorial Code
—
No editorial code of conduct observable.
Ownership
+0.10
Article 19
Author-owned personal blog; transparent single-perspective source with clear author authority in domain.
Access & Distribution
Access Model
+0.05
Article 19 Article 27
Content freely accessible; no paywall or registration barrier; supports information access rights.
Ad/Tracking
—
No observable advertising or tracking infrastructure on personal blog.
Accessibility
—
No accessibility statement observable; standard HTML blog structure.