---
title: Is there a standard library for Dafny?
---

## Question

Is there a standard library for Dafny?

## Answer

No, but one is planned. Some sample code is at [https://github.com/dafny-lang/libraries](https://github.com/dafny-lang/libraries). Contributions and ideas are welcome.
