Lean · Domain Security

Lean Domain Security

Domain security

Domain security posture for Lean, probed live across 1 host(s) and 1 registrable domain(s). 1 host(s) serve HTTPS (up to TLSv1.3); 1 advertise HSTS. Email/DNS controls: DNSSEC present, SPF absent, DMARC absent.

Dependent TypesFormal VerificationProgramming LanguageTheorem Prover

Transport & Host Security

lean-lang.org
HTTPS: yes · TLS: TLSv1.3 · HSTS: yes · cert expires: Sep 22 07:03:47 2026 GMT

Domain (DNS/Email) Security

lean-lang.org
DNSSEC: yes · SPF: no · DMARC: no · CAA: none

Source

Domain Security

lean-domain-security.yml Raw ↑ 
generated: '2026-07-11'
method: probed
source: live DNS/TLS/HTTP probes of apis.yml + OpenAPI hosts
hosts:
- host: lean-lang.org
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep 22 07:03:47 2026 GMT
  hsts: true
  hsts_max_age: 31536000
domains:
- domain: lean-lang.org
  dnssec: true
  caa: []
  spf: false
  dmarc: false