mekty2012 / Coq-Study Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
.gitignore		.gitignore
CoLists.v		CoLists.v
Intro.v		Intro.v
LICENSE		LICENSE
README.md		README.md
_CoqProject		_CoqProject
coq.pdf		coq.pdf
group.v		group.v
groupex.v		groupex.v
grouphomo.v		grouphomo.v
groupop.v		groupop.v

Repository files navigation

Coq-Study

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

About

This repository sourceforge for Coq study held in 2020 Summer, KAIST mathematical problem solving club.

Report repository

Contributors 2

Languages

Coq 100.0%