ionchy/HTMLean
Watch
1
0
Fork
You've already forked HTMLean
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
An HTML DSL in Lean
1 commit 1 branch 0 tags 5.4 KiB
  • Lean 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Jonathan Chan d3f6894caf Initial commit
2026-08-31 12:08:42 -04:00
.gitignore Initial commit 2026-08-31 12:08:42 -04:00
Attributes.lean Initial commit 2026-08-31 12:08:42 -04:00
HTML.lean Initial commit 2026-08-31 12:08:42 -04:00
lake-manifest.json Initial commit 2026-08-31 12:08:42 -04:00
lakefile.lean Initial commit 2026-08-31 12:08:42 -04:00
lean-toolchain Initial commit 2026-08-31 12:08:42 -04:00