Title: The interactive proof editor