introspection
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| How to extract the document structure programmatically? |
|
7 | 176 | June 25, 2025 |
| How to use state to get a global access to some value? |
|
2 | 85 | March 26, 2025 |
| Why does layout diverge with automatic theorem numbering? |
|
2 | 91 | January 17, 2025 |
| How to detect local heading level in separate context blocks? |
|
3 | 167 | December 10, 2024 |
| How can I number equations within sections? |
|
5 | 503 | December 2, 2024 |
| Why is State Final not "final"? |
|
5 | 343 | November 11, 2024 |
| How to use context instead of a callback function in locate function calls? |
|
1 | 949 | October 7, 2024 |
| How should I reasonably debug and resolve "layout did not converge" warnings? |
|
17 | 863 | October 2, 2024 |