What do I need to know to start writing formal proofs?

Stream: new members

[Samuel Durante]

What specifically do I need to study to start writing my own proofs?

Which Lean4 materials present the main tactics (or functions) that I can use for this?

[Kevin Buzzard]

Exams in what subject?

[Samuel Durante]

In that case, would be formal proofs not exams...

I would like to know which books or papers (preferably something very initial) are cool to learn these things.

[Riccardo Brasca]

You can have a look at our learning resources, for example #tpil or #mil