文件名称：网站：课程网站课程
文件大小：1.44MB
文件格式：ZIP
更新时间：2024-03-07 16:50:55
CSS
网站：课程网站课程
【文件预览】：
website-main
----layouts()
--------syllabus.latex(12KB)
--------site.html(984B)
--------Makefile(21B)
----defaults()
--------syllabus.yaml(344B)
--------site.yaml(489B)
--------Makefile(21B)
----markdown()
--------lectures.md(2KB)
--------git.md(9KB)
--------coq.md(7KB)
--------resources.md(982B)
--------Makefile(111B)
--------index.md(14KB)
----plweb()
--------images()
--------includes()
----.gitignore(2KB)
----Makefile(945B)