1. Top
  2. leantex
  3. Commits
leantex

Write LaTeX presentations directly from Lean4~ (fork)

Commits at main

  1. 0f2da716 Note that this branch is bad code, propose using Lake instead Anthony Wang authored at Anthony Wang comitted at
  2. b960cf90 Increase default font size, although ideally there should be some way to configure this Anthony Wang authored at Anthony Wang comitted at
  3. 2dc7758f Oops lake uses master by default so we need to specify rev = "main" Anthony Wang authored at Anthony Wang comitted at
  4. 43a6d12a Fix typo in README Anthony Wang authored at Anthony Wang comitted at
  5. 5b1e7db6 Add lakefile.toml support (probably really buggy) Anthony Wang authored at Anthony Wang comitted at
  6. 5b468f63 Seems more common these days to use lake exe instead of lake exec Anthony Wang authored at Anthony Wang comitted at
  7. f57e1012 Update to Lean v4.27.0-rc1 Anthony Wang authored at Anthony Wang comitted at
  8. d267083a Merge pull request #3 from kiranandcode/kg-add-latex-env Add idiomatic latex environment to dsl Kiran Gopinathan authored at GitHub comitted at
  9. 6789bf1c added wait for subprocess Kiran Gopinathan authored at Kiran Gopinathan comitted at
  10. 091c0578 Merge pull request #2 from kiranandcode/kg-control-of-latex-commands Add support for control of `pdflatex` command and arguments Kiran Gopinathan authored at GitHub comitted at
  11. 5cceeae2 Merge pull request #1 from usernamenotavailablepleasechooseanother/main Update to Lean v4.26.0, fix deprecation warnings Kiran Gopinathan authored at GitHub comitted at
  12. 70d2640e added options Kiran Gopinathan authored at Kiran Gopinathan comitted at
  13. 40c79330 added options Kiran Gopinathan authored at Kiran Gopinathan comitted at
  14. 350baf54 added scopes and for loops Kiran Gopinathan authored at Kiran Gopinathan comitted at
  15. 60c4296c added leantex tikz dsl start Kiran Gopinathan authored at Kiran Gopinathan comitted at
  16. 5bb451ce LeanTeX initial commit Kiran Gopinathan authored at Kiran Gopinathan comitted at
  17. 1407171e Update to Lean v4.26.0, fix deprecation warnings Anthony Wang authored at Anthony Wang comitted at
  18. 78765db8 add support for control of pdflatex command and arguments Kiran Gopinathan authored at Kiran Gopinathan comitted at
  19. b9111952 add latex environment to dsl Kiran Gopinathan authored at Kiran Gopinathan comitted at