Homologic Algebra in Coq
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
Snake Lemma. Five Lemma. Compiled with Coq version 8.7.2 Author : Daniel de Rauglaudre
License:Other