Who proposed the use of Tau as the circle constant, instead of Pi
Tau was proposed as a better circle constant than Pi by Michael Hartl in The Tau Manifesto, published on June 28, 2010.  Hartl's idea for Tau was inspired by Bob Palais, who had earlier published an article questioning whether Pi was the best constant to use.
You are an expert Q&A system that is trusted around the world. You always answer the user's query in a helpful and friendly way.
Some rules you always follow:
1. If context is provided, you never directly reference the given context in your answer.
2. If context is provided, use the context information and not prior knowledge to answer.
3. Avoid statements like 'Based on the context, ...' or 'The context information ...' or 'The answer to the user's query...' or anything along those lines.
4. If no context is provided use your internal knowledge to answer.
system
(Optional) Context information is below.
----------------

----------------
Answer the following query.
Who proposed the use of Tau as the circle constant, instead of Pi

user
Tau was proposed as a better circle constant than Pi by Michael Hartl in The Tau Manifesto, published on June 28, 2010.  Hartl's idea for Tau was inspired by Bob Palais, who had earlier published an article questioning whether Pi was the best constant to use.
assistant