A formal timeline of formalization