Anthony

Stream: new members

[Anthony O'Brien]

Hi! I'm Anthony. I'm a third year Maths & Computer Science BSc student working on a project in directed graphs in Lean. I'm looking into creating a open source Lean library to set up proofs of algorithms on directed graphs and to create some documentation. I also run a game dev company so have some background experience in software engineering but I'm new to Lean in the last few months.

[Snir Broshi]

Hello! :wave:
You might be interested in #CSLib and #graph theory