Web application proof of concept

Stream: lean4

[Pim Otte]

Just for fun, I tried making some small steps towards a web application implemented in Lean 4. I'm aware the code is terrible, but I wanted to share it anyway:) https://github.com/pimotte/fullstackalpha