How to contribute in algorithm & data structure part?

Stream: CSLib

[Guchan Li]

Hi! I'm quite interested in this project. Is there a detailed instruction on how to contribute ( i.e. what's needed to be done)?

Currently I'm an undergraduate student in CS (and soon a PhD student this year). Although I haven't written much Lean code yet, I basically know how Lean works by experiences on training Lean provers :P For theoretical part, I'm most comfortable with algorithms and data structures.

I'm a little worried of being overwhelmed by complicated lower-level dependent-type logics. Is there something simple that someone like me can start from? :face_holding_back_tears: At least this is a great opportunity for self-learning :)

[Shreyas Srinivas]

I think it is best to start with one of the games or books like #tpil or #fpil to understand the basics first

[Sorrachai Yingchareonthawornchai]

You can check out the material from this course, which is designed to formalize algorithms in Lean but assumes no background in Lean.