Yuna Luzi

Hm no idea. I tried to do a simple search but got nowhere. The bellman equation is labeled in two different files; in `cake_eating_problem.rst`: ``` .. math:: :label: bellman v(x)...

Yes, I have noticed that as well. It's actually because of the main topbar which has a white background and it's almost the same height as the title div of...

I have a working solution for same-file targets, but I need to account for targets leading to different locations. I decided to go with JS and animate the scroll. How...

`exercise` was used in @boazbk's TCS textbook. Unfortunately, I can't remember where I saw the `axiom` example. I'll add the following directives: - [x] example - [x] property - [x]...

As of now, we're supporting the following directives (total 15): - proof - theorem - axiom - lemma - definition - criterion - remark - conjecture - corollary - algorithm...

Let me explain very briefly some of the reasoning behind the implementation and syntax. During the first two iterations of this extension, I followed the instructions under [Developing a “recipe”...

> Thanks @najuzilu we should copy this to the docs :-). Working on it... :-) > Do we use any code from `sphinxcontrib-proof`? We don't use any code from `sphinxcontrib-proof`.

@jstac I'm working on fixing the css discrepancies. I agree with @choldgraf that these edits should be made in `sphinx-book-theme`. As discussed [here](https://github.com/ExecutableBookProject/MyST-NB/pull/146), I'm also adding documentation on how to...

I already have a branch on which I'm working on figure docs for the CLI, so I can add the changes you made there and make a PR. I'm not...

There's some basic figure information under [Extended markdown with MyST Markdown](https://beta.jupyterbook.org/use/myst.html). This will stay intact correct?