Document

googology-in-coq のドキュメントは、ソースコードの中の coqdoc としても存在しますが、それだけでは十分ではないため、このフォルダの中に発展的なドキュメントを置きます。