Home
Projects
TankTechnology
CLRS-Lean
TankTechnology/CLRS-Lean
19
stars
1
forks
19
watchers
Lean
View on GitHub
Website
1 Open Issue Need Help
Last updated: Jul 11, 2026
Open Issues Need Help
View All on GitHub
Ch3: complete the CLRS standard-function comparison table
about 3 hours ago
good first issue
proof
chapter-03
TankTechnology/CLRS-Lean
19
Lean
