Toot

Written by Andrej Bauer on 2024-11-28 at 21:38

@Wen I imposed a condition that they should formalize mathematics that they know well already.

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

Mentions

=> View Wen@mastodon.scot profile

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/113562742423308853
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 223.595411 milliseconds
Gemini-to-HTML Time: 0.363363 milliseconds

This content has been proxied by September (ba2dc).