Leonidas Lampropoulos
Benjamin C. Pierce
 
日本語訳:
未翻訳 Not translated into Japanese yet
QuickChickが動かない環境があり一部ファイルを除外している

Version 1.0- (09 Oct 2018, Coq 8.8.1)