Top Questions

1. is there an API for Julia packages
   6 votes

   1 answers
2. Are reverse mode AD and forward mode AD the same function?
   4 votes

   1 answers
3. how to prove that turning a set into a sequence and back is an identity in dafny
   2 votes

   1 answers
4. What does Dafny know about loops with a break?
   2 votes

   1 answers
5. Can Dafny verify summing elements from the right?
   2 votes

   1 answers