3 ms·
At first site, it seems like a Swift clone. However, there surely be some reasons that I cannot catch.
by chunsj 6y ago
At first site, it seems like a Swift clone. However, there surely be some reasons that I cannot catch.
- tomp 6y agopreconditions, looks like they try to "prove" them by using Z3 theorem checker