{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-11 06:28:34.239Z","domain":"mastodon.social","followerCount":186,"followers":"https://mastodon.social/users/spitters/followers","following":"https://mastodon.social/users/spitters/following","followingCount":119,"icon":"https://files.mastodon.social/accounts/avatars/000/824/964/original/4c3355cd1170fcef.jpg","id":"gx06dj186ci721j","inbox":"https://mastodon.social/users/spitters/inbox","iri":"https://mastodon.social/users/spitters","isLocal":false,"last_fetched":"2025-08-31 11:15:28.850Z","outbox":"https://mastodon.social/users/spitters/outbox","preferred_username":"spitters","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAz44SqbBD2AqI1LZID0Qm\nyktjAEawYFbpwPL86tfF15o51yJ9rVER0eAHb5bH+GWEbI5YlnkzuJ+LmNGRwn2N\ne1SiG4e4TfmG4jbUhPUPDq1NpilulIv6ffP3YaArAk/hKMycbGcM0uMEToH2G2zd\ndooAzk0gUrYaZPQVH5pgeRZeRzXwp/HS4K+kC1wdgHr+B3D5Y4N2BPWDbcqyQxoV\nAPAW4lOhZeGaShNGFfSazzIIt9NHfwx7nNYIXzQOoB7pt9qWs7pR3Hc1e5aWZCCD\nMimw+J6ioFvx3tK+hLXQqRCEV66K71Ej+tH8ObTsxdSxj02wuCVpaM/MMSESbC1V\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-06-01 00:00:00.000Z","summary":"

https://www.cs.au.dk/~spitters/
https://twitter.com/BasspittersBs

","updated":"2025-08-31 11:15:28.850Z","user":"","username":"Bas Spitters"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-31 00:23:59.460Z","domain":"mastodon.acm.org","followerCount":114,"followers":"https://mastodon.acm.org/users/RocqProver/followers","following":"https://mastodon.acm.org/users/RocqProver/following","followingCount":1,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/793/938/089/664/962/original/40a97cf3f2f663dc.png","id":"n4lsc0r0u12r927","inbox":"https://mastodon.acm.org/users/RocqProver/inbox","iri":"https://mastodon.acm.org/users/RocqProver","isLocal":false,"last_fetched":"2025-08-31 11:15:29.389Z","outbox":"https://mastodon.acm.org/users/RocqProver/outbox","preferred_username":"RocqProver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArFd0MqbQt/j58L380sLv\n29VHRYyVqk7FV0PQMUlphydOdwotTKPmj98j0K8EIHsW46uzv6Yp9LxMU7IOid6g\ne6bj3kjugVTGnFxHYqV6MepFJEakwUR01ADMLTWxiYtKHI4YFdUiZcsC+kTf2zEh\nhh/+8wI+hY5E6vJMbNRtWvBsbmqQ+tJT/CI9yhZ5H/G0r9HKed+2JnQImVMfnLQq\nZ7lNhVTTL+WIchbBeSfctYnOdTAU8/2u/Uq/f9gdFyTORewqehCZ/TZsojG9W5Nf\npil/88B2VeR/CtCYuTE8JkstyVPKCu4YoEtTUzJtTBQfjbj5yyFLzl6IDNQ618t5\nYQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-08 00:00:00.000Z","summary":"

Interactive Theorem Prover and Dependently-Typed Programming Language.

","updated":"2025-08-31 11:15:29.390Z","user":"","username":"The Rocq Prover"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-08 17:12:55.286Z","domain":"mathstodon.xyz","followerCount":526,"followers":"https://mathstodon.xyz/users/de_Jong_Tom/followers","following":"https://mathstodon.xyz/users/de_Jong_Tom/following","followingCount":186,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/658/214/755/764/original/ff03bf2676a53c78.jpg","id":"9l2x1hytewmxw77","inbox":"https://mathstodon.xyz/users/de_Jong_Tom/inbox","iri":"https://mathstodon.xyz/users/de_Jong_Tom","isLocal":false,"last_fetched":"2025-08-31 11:15:29.435Z","outbox":"https://mathstodon.xyz/users/de_Jong_Tom/outbox","preferred_username":"de_Jong_Tom","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp+MeS+d0E5IEXlj5LKNK\ns7+zX1BAwJVT9PT2V9rN2s69iVHqkMzapIWALmhH67lKqWpj/LBX/zph5PNh5SaE\nUjkXBYD97LK6qNgoG1FxwzwdFc695YxroJJ3wsJ1wepJh4YCjdQF2tVGa8hoP89T\nLbSoByb94s560sw0f+y6HU5F7Fy9DgjxPs7FiRgd+A6TnerF57eGuAU2DJgc7Bnb\ngyVtxcZ6PTd7wEDpnJSQQ0kwcSwnzISROBEC3Blu1cxLf5j1gr1SaeLQHoPgmO+d\nHYZls3U40/4aRMBLuWNxzy3MdIb008e2FAsnxaCFrbY/FWAFXQfAQQmF2RKX+MnR\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

Postdoc at the University of Nottingham working on type theory. PhD from the University of Birmingham. Mathematician, computer scientist and runner.

","updated":"2025-08-31 11:15:29.436Z","user":"","username":"Tom de Jong"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-07 18:49:12.472Z","domain":"mathstodon.xyz","followerCount":3494,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"5318u7674hh4848","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-08-31 11:15:29.565Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-08-31 11:15:29.566Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-09 05:36:01.719Z","domain":"mathstodon.xyz","followerCount":1955,"followers":"https://mathstodon.xyz/users/andrejbauer/followers","following":"https://mathstodon.xyz/users/andrejbauer/following","followingCount":110,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/280/390/386/165/034/original/253df699fe914f81.jpeg","id":"rvf47s8ll68e3fv","inbox":"https://mathstodon.xyz/users/andrejbauer/inbox","iri":"https://mathstodon.xyz/users/andrejbauer","isLocal":false,"last_fetched":"2025-08-31 11:15:29.616Z","outbox":"https://mathstodon.xyz/users/andrejbauer/outbox","preferred_username":"andrejbauer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxIFr/0sftehAweJM7ONu\nrg+QY95/clSKXZSXLXEP5TNVFUMrwp9/zA0gjSj2OOM3f2Hpn2Vow4yV19gplJb1\nEACa/KBA4MX8cPA8a8ze8cPmoyFBSXpwRKHcyFXAjr6kUVM+aWu66qav7GhgquCQ\nboR/gEEoja+2Js/1f4CNDcKETdA0lmuTtAyLUIeUH/sCq8EexsDve6mm0BFfffV8\nIJSx8bEEE67W3IbS349DDVWcFhl7bZ28hfb/UzdtyEZxpoeNWp4R/gfRpK4MY4w2\nu8jy4aruh4zZGuvroTz1ehLV5fxhbNW0njuSaT3jqa4tpD+/SJl/VXKakUzMgXGU\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Professor of computational mathematics at University of Ljubljana, Slovenia.

","updated":"2025-08-31 11:15:29.616Z","user":"","username":"Andrej Bauer"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

Gert Smolka

Following