lkloh/coq

peice

coq

Poly.v

1. map_rev
2. fold_map
3. Church chapter

MoreLogic

1. not_exists_dist

ProofObjects.v

1. ex_beautiful_Sn

Compilation

Compile the files coqc <Filename>.v