Exciting! I've been picking up some small side projects in Lean again to add more to https://agentultra.github.io/lean-4-hackers/ https://agentultra.github.io/l

Exciting! I've been picking up some small side projects in Lean again to add more to https://agentultra.github.io/lean-4-hackers/ https://agentultra.github.io/lean-4-hackers/ -- a guide for programmers interested in using it as a programming language. Congrats on the milestone!