Ancestors

Written by Andrej Bauer on 2024-11-18 at 00:01

An impressive formalization by @rahulc29 of realizability toposes (for total combinatory algebras) https://github.com/rahulc29/realizability. The things undergrads do these days are amazing. I don't want to hear another word about what's wrong with today's youth.

=> More informations about this toot | More toots from andrejbauer@mathstodon.xyz

Toot

Written by Rahul Chhabra on 2024-11-18 at 03:19

@andrejbauer thanks a lot! appreciated :')

=> More informations about this toot | More toots from rahulc29@mathstodon.xyz

Descendants

Proxy Information

Original URL: gemini://mastogem.picasoft.net/thread/113501794737510382
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 257.173027 milliseconds
Gemini-to-HTML Time: 0.562864 milliseconds

This content has been proxied by September (3851b).