View
Tube
search
Sign in
Sign up
Subscriptions
Coding Sisyphus
0 subscribers
Home
Videos
Shorts
Live
Playlists
Community
Channels
Sort by
Newest
Oldest
Popular
01:50:22
[Lean4] Proving that the last character of appending two strings is that of the latter
26 views
1 month ago
00:08:15
[Lean4] Install and hello world
56 views
1 month ago
![[Lean4] Proving that the last character of appending two strings is that of the latter](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FaFAly-ZRUuQ%2Fsddefault.jpg)
![[Lean4] Install and hello world](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FQ7AJ1Wb6qBc%2Fsddefault.jpg)