Zulip Chat Archive

Stream: new members

Topic: Any projects translate a textbook into lean step by step ?


chenjulang (Apr 08 2024 at 03:27):

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

chenjulang (Apr 08 2024 at 03:28):

Like these :

chenjulang (Apr 08 2024 at 03:28):

https://github.com/mo271/formal_book

chenjulang (Apr 08 2024 at 03:28):

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

chenjulang (Apr 08 2024 at 03:28):

I want to know more :heart:


Last updated: May 02 2025 at 03:31 UTC