All Questions
Tagged with category-theory provers
1
question
20
votes
1
answer
314
views
Examples of formalisation of abelian categories
The question
I would be interested to hear about examples of formalisation of the theory of abelian categories in theorem provers, and in particular formalisations of things like the zig-zag lemma and ...