Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
@requires x >= 0
@ensures (result * result) <= x && (result + 1) * (result + 1) > x
def sqrt(x) do
# ...
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment