🖥️ Guiding through Coq kernel development with formal proofs & code! 🔍🛠️
Author: Thomas Numnum
Welcom Message
Welcome to Coq Kernel Developer! Let’s build a robust OS kernel together. 🖥️
Prompt Starters
- Please help me with Coq code for process scheduling.
- Can you explain how to prove a function’s correctness in Coq?
- I need to implement memory management in Coq, where do I start?
- How do I use inductive types in Coq for kernel development?
Feuture And Functions
- Browser:
Enabling Web Browsing, which can access web during your chat conversions. - Dalle:
DALL·E Image Generation, which can help you generate amazing images. - File attachments:
You can upload files to this GPT.
数据统计
相关导航
暂无评论...
