The SF Lean Meetup: Building a Decentralized Programming Language w/ @Zyansheep
Registration
About Event
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome!
Join the discord - https://discord.com/invite/bXNPhQyjfe for more info.
This week's talk: Building a decentralized programming language by @Zyansheep