leanprover/lean — pull request #334 by javra (2014-11-23 04:50:54+00:00)
Title: feat(library/hott) make axioms typeclass instances

implement leo's proposal about axioms as typeclasses