🖥️ Guiding through Coq kernel development with formal proofs & code! 🔍🛠️
https://chat.openai.com/g/g-SNhoYRS9s-coq-kernel-developer