04-02-LibraryInterface.md

---

title: DedekindReals Interfaces author:

• Ivo List status: Draft changes:
• 2019-03-26: Initial draft ...