Commits

Commits on Feb 19, 2020

上传了FRAP在windows平台上的编译方法
 HappyCS-Gu
committedFeb 19, 2020
Delete FRAP在windows上的编译方法.pdf
HappyCS-Gu
committedFeb 19, 2020
上传了FRAP在windows平台上的编译方法
 HappyCS-Gu
committedFeb 19, 2020

Commits on Aug 30, 2019

seminar: README formatting revised
hengxin
committedAug 30, 2019
seminar: +plan for autumn 2019
hengxin
committedAug 30, 2019
Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedAug 30, 2019
+coq resources for math/alg
hengxin
committedAug 30, 2019

Commits on Jul 25, 2019

+ IndPrinciples
JYwellin
committedJul 25, 2019

Commits on Jul 14, 2019

Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedJul 14, 2019

Commits on Jul 12, 2019

+sf1-lf-note/10-IndPrinciples.md
hengxin
committedJul 12, 2019

Commits on Jul 11, 2019

Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedJul 11, 2019
+paper: Hilbert Tenth Problem
hengxin
committedJul 11, 2019

Commits on Jul 2, 2019

+ slide and ProofObjects.v.
tangruize
committedJul 2, 2019

Commits on Jun 7, 2019

上传ppt与源代码
 HappyCS-Gu
committedJun 7, 2019

Commits on Jun 6, 2019

Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedJun 6, 2019
sf1-lf-note: +7-indprop continued, +resources
hengxin
committedJun 6, 2019

Commits on Jun 3, 2019

Merge branch 'master' of github.com:hengxin/coq-rock
Starydark
committedJun 3, 2019
+ Logic
Starydark
committedJun 3, 2019

Commits on May 29, 2019

sf1-lf-note: +7-indprop continued, +seminar schedules
hengxin
committedMay 29, 2019

Commits on May 24, 2019

+ Tactics
JYwellin
committedMay 24, 2019

Commits on May 23, 2019

Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedMay 23, 2019
sf1-lf-note: +7-indprop
hengxin
committedMay 23, 2019

Commits on May 16, 2019

+Lists; Poly
LeoSeoJin
committedMay 16, 2019

Commits on May 14, 2019

Merge branch 'master' of https://github.com/hengxin/coq-rock
hengxin
committedMay 14, 2019
sf1-lf-note: +6-logic
hengxin
committedMay 14, 2019

Commits on May 10, 2019

Update ReadMe.md
HappyCS-Gu
committedMay 10, 2019
basic induction
HappyCS-Gu
committedMay 10, 2019
add slide
HappyCS-Gu
committedMay 10, 2019

Commits on May 8, 2019

+sf1-lf-note/5-tactics, +sf-books-pdf
hengxin
committedMay 8, 2019

Commits on May 7, 2019

fix formatting errors
LeoSeoJin
committedMay 7, 2019
fix formatting errors
LeoSeoJin
committedMay 7, 2019
revise coq-install-win.md
LeoSeoJin
committedMay 7, 2019
update coq-install-win.md
LeoSeoJin
committedMay 7, 2019

Commits on May 5, 2019

Update README.md
hengxin
committedMay 5, 2019
Set theme jekyll-theme-hacker
hengxin
committedMay 5, 2019