GitHub repository: GavinMendelGleason/many_worlds
Description: A description of the relationship between databases, collaboration and Kripke