xylem group

quantitative research and infrastructure for perp microstructure and structured products

Popular repositories Loading

physlib physlib Public

Forked from leanprover-community/physlib

A project to digitalise results from physics into Lean.

Lean
lopt-entropy-formal lopt-entropy-formal Public

Formal verification of NIST SP 800-90B entropy estimators in Lean 4. Companion project to lopt's TRNG service; theorems intended for upstream contribution to mathlib.

Lean

Repositories

physlib Public Forked from leanprover-community/physlib
A project to digitalise results from physics into Lean.

Xylem-Group/physlib’s past year of commit activity

Lean 0 Apache-2.0 133 0 1 Updated Jul 1, 2026
lopt-entropy-formal Public
Formal verification of NIST SP 800-90B entropy estimators in Lean 4. Companion project to lopt's TRNG service; theorems intended for upstream contribution to mathlib.

Xylem-Group/lopt-entropy-formal’s past year of commit activity

Lean 0 Apache-2.0 0 0 3 Updated Jul 1, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…