Open hesterjeng opened 1 year ago
@hesterjeng do we still want this? the build never went green. it's missing the required metadata at the top (see e.g. https://github.com/imandra-ai/imandra-docs/blob/master/notebooks-src/A%20Quick%20Tour%20of%20Imandra.md?plain=1#L1-L28)
I made this small example to try to make something simpler to showcase Discover, if someone wants to read through it and let me know what you think I'd appreciate it!