Type-level Programming, Proof-carrying Code, Agda, Type Safety
On zero-order consistency residue and background pressure for the conservative SPH fluid dynamics
arxiv.orgΒ·1d
Loading...Loading more...
Type-level Programming, Proof-carrying Code, Agda, Type Safety