Skip to content

Latest commit

 

History

History
15 lines (9 loc) · 583 Bytes

readme.md

File metadata and controls

15 lines (9 loc) · 583 Bytes
Raw

Formal Numerical

This project (as an offshoot of numerical haskell) has the following goals

  1. formalize the abstractions / ideas articulated in the numerical haskell library. For now this is mostly centered around the underlying address translation machinery, but this is likely to expand to showing equivalence of algorithms built on top.

  2. experiment with the different modeling styles of proving

  3. figure out what necessary and sufficient "laws" instances of the numerical haskell type classes need to adhere to.

  4. eventually formalize actual applied math algorithms!