SSG/Tags.lean

GitHub source file

36 declarations, 0 contain sorry, 0 declared as axioms

Imports (1)
Imported by 10 files
  1. def Html.head line 11 source
  2. def Html.html line 12 source
  3. def Html.body line 13 source
  4. def Html.script line 14 source
  5. def Html.div line 16 source
  6. def Html.span line 17 source
  7. def Html.nav line 18 source
  8. def Html.main_ line 19 source
  9. def Html.header line 20 source
  10. def Html.footer line 21 source
  11. def Html.section_ line 22 source
  12. def Html.title line 24 source
  13. def Html.h1 line 25 source
  14. def Html.h2 line 26 source
  15. def Html.h3 line 27 source
  16. def Html.h4 line 28 source
  17. def Html.p line 29 source
  18. def Html.a line 30 source
  19. def Html.b line 32 source
  20. def Html.ul line 33 source
  21. def Html.li line 34 source
  22. def Html.code line 35 source
  23. def Html.pre line 36 source
  24. def Html.table line 37 source
  25. def Html.tbody line 38 source
  26. def Html.thead line 39 source
  27. def Html.td line 40 source
  28. def Html.th line 41 source
  29. def Html.tr line 42 source
  30. def Html.img line 44 source
  31. def Html.br line 46 source
  32. def Html.hr line 47 source
  33. def Html.meta_ line 48 source
  34. def Html.link line 49 source
  35. def Html.cls line 51 source
  36. def Html.id_ line 52 source