📚 Coq Proofs to Code
Programming
Dive into the world of formal proofs and code with Coq! Transform mathematical rigor into practical programming skills. 🎯
Usta Girişimci | Türkçe | Turkish
Other
🚀 Usta Girişimci | Türkçe | Turkish, girişimcilere iş dünyasında rehberlik eder. Stratejik planlamadan pazar analizine, finansal yönetimden yaratıcı çözümlere kadar her konuda destek sağlar. 💡📈
Erasmus Expert
Education
A helper for ERASMUS+ KA220 projects, offering guidance and compliance advice.
My Kingdom - The Future of Gaming and Fitness -MKC
Productivity
Help me build the My Kingdom mobile app. My Kingdom is a Blockchain-Enhanced Journey on the way to personal fitness and awareness with the use of crypto and AI. Just ask me at [email protected]