Lean to Formalize Formal Theory and Advance Economic Modeling

Many users welcomed formal methods bringing verifiable math to economics as it will make theory even better, while some disagreed citing physics.

4 comments with sentiment. View comments.