文件名称：web:个人网站
文件大小：1.49MB
文件格式：ZIP
更新时间：2024-04-15 04:34:53
SCSS
个人网站
【文件预览】：
web-master
----index.md(414B)
----models()
--------resolvent.jpeg(746KB)
--------pred-logic-interpretations.md(7KB)
--------model-venn-diagram.jpeg(548KB)
--------pred-logic-translation.md(5KB)
--------prop_logic_summary.md(14KB)
--------what-is-a-set.md(10KB)
--------binary-function-table.jpeg(361KB)
--------typing_logical_symbols.md(2KB)
----_layouts()
--------post.html(1KB)
--------home.html(1KB)
--------default.html(765B)
--------about.html(786B)
--------page.html(290B)
----favicon.ico(1KB)
----_sass()
--------moving()
--------moving.scss(1KB)
----wedding.md(277B)
----_includes()
--------google-analytics.html(497B)
--------navigation.html(1020B)
--------footer.html(802B)
--------old_navigation.html(201B)
--------social.html(3KB)
----models.md(799B)
----Gemfile(216B)
----CNAME(13B)
----_data()
--------navigation.yml(157B)
----assets()
--------css()
----README.md(18B)
----.gitignore(55B)
----_config.yml(1KB)
----research.md(2KB)
----links.md(642B)
----_posts()
--------2020-03-26-Type-Theory-Lambda-Calculus.md(874B)
--------2020-01-08-post.md(46B)
--------2020-01-11-Topos-Theory.md(4KB)