Toot

Written by Tito on 2025-01-27 at 22:51

@julesh @joey Hm, I have to confess I never read that last chapter until now, but judging from its intro the scope includes the Calculus of Constructions

=> More informations about this toot | View the thread | More toots from tito@sciences.re

Mentions

=> View julesh@mathstodon.xyz profile | View joey@mathstodon.xyz profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113902765875569176
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
224.017484 milliseconds
Gemini-to-HTML Time
0.343944 milliseconds

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