leantex

Write LaTeX presentations directly from Lean4~ (fork)

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
* Tasks
** DONE Setup target to encode
CLOSED: [2025-04-30 Wed 12:33]
** DONE Implement Packages
CLOSED: [2025-04-30 Wed 13:51]
** DONE Themeing
CLOSED: [2025-04-30 Wed 15:06]
** DONE Copy over files from static dir
CLOSED: [2025-04-30 Wed 15:08]
** DONE Input?
CLOSED: [2025-04-30 Wed 15:09]
** TODO Setup tikzpicture with a scoped context