lean-exemples

This repo provides some formalization exemples and best practices.

Statements formalization

You can find some nice data in ./statements

Here are some high level principles to respect:

• When formalizing statement with find ..., try to put the final answer in a set and use set equality

• Avoid using division