con­stants – Au­to­matic num­ber­ing of con­stants

The pack­age pro­vides a way to num­ber con­stants in a math­e­mat­i­cal
proof au­to­mat­i­cally, with a sys­tem for la­belling/ref­er­enc­ing. In
ad­di­tion, sev­eral fam­i­lies of con­stants (with dif­fer­ent sym­bols)
may be de­fined.