People/lanyonai
Lanyon AI Inc

Lanyon AI Inc

Organizationbuilder

Formal Verification for a Computable Universe

United States of America
github website
C
51★
stars on radar
3
public repos
Open source on the radar · 1
lanyonai/
AdvectionDiffusion

End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.

517Cnew✓ Reviewed
Roles are derived from products, launches and repositories we track — not from self-description.