fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#itp

2 14 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).
English(2)
github.io (1) uni-bonn.de (1)

1

From uni-bonn.de

https://www.math.uni-bonn.de/people/phierony/Kolly.pdf

1 1

#itp #math #leanprover

15h ago


1

From github.io

https://omelkonian.github.io/data/publications/formal-streamlet.pdf

1 1

#itp #agda

15h ago

Showing first 2 out of 2