發(fā)簡信
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é)公式 簡單表格
-
Git（廖雪峰）
創(chuàng)建版本庫 版本庫又名倉庫，英文名repository，這個(gè)目錄里面的所有文件都可以被Git管理起來，每個(gè)文件的修改、刪除，Git都能跟蹤，以便...
-
寫一個(gè)函數(shù)，合并兩個(gè)有序數(shù)組
思路當(dāng)一個(gè)數(shù)組的空間足夠大時(shí)可以將兩個(gè)有序數(shù)組從后向前排序以提升效率。 2.代碼
-
Markdown標(biāo)題 語法 效果 一級標(biāo)題 二級標(biāo)題 三級標(biāo)題 四級標(biāo)題 五級標(biāo)題 六級標(biāo)題 注：注意有些符號與文字之間保留空格，以下同理 列表 語法 效果 文...
-
思維導(dǎo)圖
使用軟件 MindNode 基本操作方法