發(fā)簡(jiǎn)信
IP屬地：重慶
-
Basics Functional Programming in Coq
Introduction The functional programming style is founded on simple, ever...
-
Preface
What is Coq ? Coq is a formal proof management system. It provides a for...
-
Latex標(biāo)題、作者斗塘、注釋、章節(jié)、段落蝌衔、換行 數(shù)學(xué)公式 簡(jiǎn)單表格
-
Git（廖雪峰）
創(chuàng)建版本庫(kù) 版本庫(kù)又名倉(cāng)庫(kù)豺鼻，英文名repository耽梅，這個(gè)目錄里面的所有文件都可以被Git管理起來(lái)除盏，每個(gè)文件的修改叉橱、刪除，Git都能跟蹤痴颊，以便...
-
寫一個(gè)函數(shù)赏迟，合并兩個(gè)有序數(shù)組
思路當(dāng)一個(gè)數(shù)組的空間足夠大時(shí)可以將兩個(gè)有序數(shù)組從后向前排序以提升效率屡贺。 2.代碼
-
Markdown標(biāo)題 語(yǔ)法 效果 一級(jí)標(biāo)題 二級(jí)標(biāo)題 三級(jí)標(biāo)題 四級(jí)標(biāo)題 五級(jí)標(biāo)題 六級(jí)標(biāo)題 注：注意有些符號(hào)與文字之間保留空格锌杀，以下同理 列表 語(yǔ)法 效果 文...
-
思維導(dǎo)圖
使用軟件 MindNode 基本操作方法