tiflolinux.org - GNU Social
  • Login

Bienvenido

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Untitled attachment

Download link

https://functional.cafe/system/media_attachments/files/107/693/984/192/465/228/original/383a0677a5514f3c.jpg

Notices where this attachment appears

  1. spectrumgomas@functional.cafe's status on Thursday, 27-Jan-2022 11:37:32 CET spectrumgomas spectrumgomas

    Even newbies can get green in coq-ide

    In conversation Thursday, 27-Jan-2022 11:37:32 CET from functional.cafe permalink
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.