Add multithreading example #1

Open

aniva wants to merge 2 commits from multithreading into main

pull from: multithreading

merge into: aniva:main

aniva:main

aniva:data-structures

Conversation 0 Commits 2 Files Changed 5 +56 -13

2 Commits

Author	SHA1	Message	Date
Leni Aniva	1f9c8717f8	Multithreaded example	2024-04-12 16:08:55 -07:00
Leni Aniva	7457bdf363	Bump Lean version to 4.7.0-rc2	2024-03-15 06:21:10 -07:00