Archive of Formal Proofs Afp 2013

A collection of machine-checkend mathematical proofs

Brought to you by: eberl, lp15, lsf37, nipkow, rthiemann

Afp 2013 Merge Requests

#	Status	Summary	Repository	Creator	Created	Updated