Giters

roglo / coq_homol_algeb

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

About

Homologic Algebra in Coq

License:Other

Languages

Language:Coq 99.4%Language:Makefile 0.6%