Videos

Type Classes for Mathematical Formalizations in Coq

Presenter
October 3, 2012
IAS
Type Classes for Mathematical Formalizations in Coq Thumbnail
Play Video
Abstract
Type Classes for Mathematical Formalizations in Coq