The same widget Lean Studio shows in its Infoview, fed the data Lean computes (X509.Widget.widgetProps). Proofs, tests and source: github.com/keithadler/lean-x509. MIT License.