RiSE4fun samples for DafnyList of built-in samples for the Dafny in RiSE4funen-US<a target='_blank' href='https://go.microsoft.com/?linkid=2028325'>Contact Us</a>| <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=521839'>Privacy &amp; Cookies</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkID=246338'>Terms of Use</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=506942 '>Trademarks</a>| &copy; 2017 Microsofthttps://rise4fun.com//Images/Rise.gifRiSE4fun samples for Dafnyhttps://rise4fun.com/Dafny/HelloHello???https://rise4fun.com/Dafny/FibonacciFibonacci???https://rise4fun.com/Dafny/AckermannAckermann???https://rise4fun.com/Dafny/AddAdd???https://rise4fun.com/Dafny/MulMul???https://rise4fun.com/Dafny/CountToNCountToN???https://rise4fun.com/Dafny/CountToAndReturnNCountToAndReturnN???https://rise4fun.com/Dafny/CubeCube???https://rise4fun.com/Dafny/zbzb???https://rise4fun.com/Dafny/zz???https://rise4fun.com/Dafny/Problem1-SumMaxProblem1-SumMax???