[–] ttecho 2y ago ↗ This is awesome, I have been doing advent of code and trying to write some algorithms in Dafny. This came at a great time!!
1 comment
[ 3.0 ms ] story [ 12.1 ms ] thread