Issues

• decide a notational convention

  jules-hedges/elements#5 · Filter by author mattecapu opened on Feb 1, 2022

• macros should be in a separate file

  jules-hedges/elements#4 · Filter by author mattecapu opened on Feb 1, 2022

• bibliography

  jules-hedges/elements#3 · Filter by author mattecapu opened on Feb 1, 2022
  1

• theorems indexing

  jules-hedges/elements#2 · Filter by author mattecapu opened on Feb 1, 2022

• iframes are not scaled

  jules-hedges/elements#1 · Filter by author mattecapu opened on Feb 1, 2022