constants.omdoc
This is a theory containing general physical constants
http://mathhub.info/MitM/Models?PhysicalConstants
http://mathhub.info/MitM/Models?Base