Dafny Repos
===========

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

### monadius/dafny_examples: Experiments with Dafny

*   url: https://github.com/monadius/dafny_examples
*   license: MIT