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