git @ Cat's Eye Technologies
The-Dipple
/
master
dafny
master
master
0.1
hanging-a-canvas
Tree @
master
(
Download .tar.gz
)
..
clean.sh
README.md
trivial.dfy
History of dafny
@
master
git clone https://git.catseye.tc/The-Dipple/
Arrange license info in repo to follow the REUSE 3.0 convention.
Chris Pressey
1 year, 4 months ago
Add a trivial Dafny source, and instructions on installing Dafny.
Chris Pressey
1 year, 11 months ago