Replies to message #6,371
-
🇵🇦 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...