Ancestors

Toot

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

Descendants

Written by Jean Abou Samra on 2024-11-18 at 00:41

@andrejbauer @rahulc29 A lot of my efforts to combat impostor syndrome have just been pulverised 🙂 It is indeed impressive, congrats!

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

Written by Jacques Carette on 2024-11-18 at 01:43

@andrejbauer @rahulc29 In Agda no less - nice!

=> More informations about this toot | More toots from JacquesC2@types.pl

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