1. Top
  2. leantex
  3. Files
  4. LeanTeX.lean
leantex

Write LaTeX presentations directly from Lean4~ (fork)

  1. 1
  2. 2
  3. 3
  4. 4 
import LeanTeX.Slide
import LeanTeX.SlideDSL
import LeanTeX.SlideRegistry