Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a4013a6b8ce02877

Jump to content

Talk:LEGO (proof assistant)

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 1 year ago by 185.242.230.97 in topic Bogus link to "Unified Theory of Dependent Types"
[edit]
Latest comment: 1 year ago1 comment1 person in discussion

That link points to something unrelated. 185.242.230.97 (talk) 21:09, 3 January 2025 (UTC)Reply

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:LEGO_(proof_assistant)&oldid=1267152038"