Discover SnowOnion/Proof-Theory-Notes-zh

Stars
10
Rank 1,807,489 (Top 36 %)
Language
TeX
License
MIT License
Created over 7 years ago
Updated about 6 years ago

SnowOnion

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu, THU. Parts of contents are my own supplement. The mistakes, if any, very likely belong to me.

category-theory-seminar-notes-cnu-2018

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.

TeX

Adao-kaomoji-for-sogou-pinyin-input-method

用电脑版搜狗拼音输入法快速输入 A 岛颜文字的方法；探索以颜文字为代表的快捷消息的管理方法论 ( ﾟ∀。)

Python

The_Science_and_Art_of_Minesweeper

扫雷的科学与艺术（未完成）。Try to solve minesweeper game automatically, efficiently (not yet succeeded). 踩地雷的科學與藝術（未完成）。

HTML

godoogle

godoogle := Hoogle for Godoc / 通过函数签名（输入输出类型）搜索 Go API。