Alyssa Hwang
Results
3
issues of
Alyssa Hwang
I ran into a little bit of trouble trying to run `pip install kani[openai]` because I was running Python 3.7 instead of 3.10+. I received the error message "kani 0.0.0...
Style guidelines, organization of code, what should go in Kani main vs. ext...
This version is verified to work on Google Colab using a GPU and Python3. This fixes typos in the original version that prevented the program from running, eliminates the dependency...