Lanyon AI Inc
Formal Verification for a Computable Universe
- 31 followers
- United States of America
- https://lanyon.ai/
Popular repositories Loading
-
AdvectionDiffusion
AdvectionDiffusion PublicEnd-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
Repositories
Showing 1 of 1 repositories
- AdvectionDiffusion Public
End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
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…