Popular repositories Loading
-
physlib
physlib Public archiveForked from leanprover-community/physlib
A project to digitalise results from physics into Lean.
Lean
-
lopt-entropy-formal
lopt-entropy-formal PublicFormal 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
- 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.
- physlib Public archive Forked from leanprover-community/physlib
A project to digitalise results from physics into Lean.
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…