Any projects translate a textbook into lean step by step ?

Stream: new members

[chenjulang]

Any projects translate a textbook into lean step by step ? Like this one : https://github.com/martincmartin/linear_algebra_done_right

[chenjulang]

Like these :

[chenjulang]

https://github.com/mo271/formal_book

[chenjulang]

https://github.com/eric-wieser/lean-matrix-cookbook

[chenjulang]

I want to know more :heart: