Replies to message #6,368

  • 🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.
Horpach

Programming thread

Used Coq and Lean quite a bit before. Why?
Back
Top Bottom