fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#agda

1 2 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
Portuguese(1)
github.com (1)

1

From github.com

GitHub - rodrigogribeiro/pcc116-2021-2

1 1

Contribute to rodrigogribeiro/pcc116-2021-2 development by creating an account on GitHub.

#ITP #agda #math #logic #compsci

1h ago

Showing first 1 out of 1