Respuestas al mensaje #6,371
-
🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.
Programming thread
Used Coq as well albeit for formalizing mathematics specifically linear algebra. Wanted to try doing the same with C programs and was wondering if...