wodenimoni
No user record in our sample, but wodenimoni has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but wodenimoni has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Testing the tutorial link (https://penrose.cs.cmu.edu/docs/tutorial/welcome) locally with Firefox 115.0.2 seems okay. If this problem persists, can you file an issue about it in our repo:…
Would love to hear what diagrams you'd like to make in your notes! > Why did you chose this confusing name? The main idea of the project is to generate diagrams from mathematical notations. So we want a name that people…
Good catch! Opened an issue to investigate this https://github.com/penrose/penrose/issues/1553.
Nimo here, the other author of the blog post :). Another advantage of TikZ is you can use it directly in LaTeX. TeX integration is something we care deeply about, so v3 introduces an export mode compatible with the svg…