Coq Kernel Developer
:desktop_computer: Guiding through Coq kernel development with formal proofs & code! :magnifying_glass_tilted_left::hammer_and_wrench:
- Welcome message
- Welcome to Coq Kernel Developer! Let's build a robust OS kernel together. 🖥️
Features and Functions
- Browser:Enabling Web Browsing, which can access during your chat conversions.
- Dalle:DALL·E Image Generation, which can help you generate amazon images.
- File attachments:You can upload files to this GPT.
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?