As others have noted, there is a "download free copy" link on that page that is good until September 10th
-
-
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
-
srsly, would appreciate a link to a locally-hosted PDF
- Još 14 drugih odgovora
Novi razgovor -
-
-
I don't see a mention of Specware (and its specification/proof language MetaSlang)..
-
Yeah, it was impossible to cover everything. If you see an obvious omission, email us and tell us where you think it fits in and we can add it to the errata (same for obvious mistakes). The survey is necessarily non-exhaustive, though.
Kraj razgovora
Novi razgovor -
-
-
Non paywall link?
-
There is a free copy available until September 10th on that website. You may need to create an account, but it will not cost anything. Just click "download free copy"
- Još 1 odgovor
Novi razgovor -
-
-
Thanks for Prof. Ringer. HoTT section v interesting. Slightly adversarial q: 180+ pages, yet just a single quantitative reference to the work effort (20 person-year w 480k lines of proof for seL4 kernel) needed & a single closing reference to critique (social progress) in opp 5 ?
-
I wish I were a professor already :). I'll be on the market next year. I suppose we took the effort needed for granted, or just assumed readers would understand the effort involved is currently high. A bit more discussion went into deciding how much to focus on critique.
- Još 2 druga odgovora
Novi razgovor -
-
-
Could you please email a private copy? Id be very keen to read it
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.