A language for mathematical knowledge management

This page contains links to data relevant to Steve Kieffer, Jeremy Avigad, and Harvey Friedman, "A language for mathematical knowledge management."