Update index.html

reset-formalize-my own