Game Dev in Lean4
Details
This is a continuation of our lean4 game dev series that we will be streaming here https://www.twitch.tv/awalterschulze
We will be developing some games in LeanProver using Raylib and some Lean4 C bindings that we have developed here https://github.com/paulcadman/raylean
If you want to join future events and watch streams on this topic, please join our discord https://discord.com/invite/mdgKuGAMQj
Game Programming
Independent Game Development
Functional Programming
Dependently Typed Programming
Proof Assistants