search

imandra-ai / imandra-docs

Imandra Documentation
https://docs.imandra.ai/imandra-docs/
7 stars 4 forks source link

Discover balanced binary trees example #170

Closed hesterjeng closed 2 years ago

hesterjeng commented 2 years ago

This is a pull request containing an example of how to use Discover on a problem involving balanced binary trees. It's not complicated, but contains some tips for usage and examples of how to invoke Discover both with and without conditions. I am working on another notebook that is more complicated I will share in the future.

hesterjeng commented 2 years ago

@hesterjeng FYI we disable require in notebooks for security reasons, so this will fail in CI right now. let's discuss tomorrow how to make it work

Great, thanks!