AffeldtさんのSsreflectチュートリアルのソースをビルドする ref: http://qiita.com/yoshihiro503/items/f5a5d6d59e5d844b4779

Make

-R .
bigop2_example.v
group_example.v
predicative_example.v
bigop_example.v
ssrbool_example.v
dependent_example.v
logic_example.v
ssrnat_example.v
eqtype_example.v
tactics_example.v
finset_example.v
matrix_example.v
tuple_example.v
fintype_example.v
permutation_example.v
view_example.v

sh

coq_makefile -f Make -o Makefile