Agents-proversΒΆ Random and age agents for Vampire and iProver Random and age agents for Vampire and iProver Gallery generated by Sphinx-Gallery