本项目为数字逻辑实验课程的实验文档，采用 mkdocs 编写。
本站点的自动编译版本在 这里 发布。
本站点内容使用 Markdown 进行编写。具体可查看 mkdocs 和 mkdocs-material 文档。
如果创建了新页面，需要插入到 mkdocs.yml 的 nav 部分，否则将不会出现在编译结果中。
首先安装依赖，而后编译即可：
python3 -m pip install --user -r requirements.txt # 安装 Python 依赖包
mkdocs serve # 直接在本地 serve，或者：
mkdocs build --clean # 生成于 site/ 文件夹中