Game Dev in Lean4
Hosted By
awalterschulze and Paul C.
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
London Type-Driven Development
See more events
Online event
This event has passed
Game Dev in Lean4