| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Wed, 06 Aug 2025 22:13:00 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20100726071809
location: https://web.archive.org/web/20100726071809/https://github.com/Eelis
server-timing: captures_list;dur=0.642588, exclusion.robots;dur=0.024043, exclusion.robots.policy;dur=0.011999, esindex;dur=0.010721, cdx.remote;dur=61.356198, LoadShardBlock;dur=391.991721, PetaboxLoader3.datanode;dur=157.773143, PetaboxLoader3.resolve;dur=186.706103
x-app-server: wwwb-app213
x-ts: 302
x-tr: 491
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: wb-p-SERVER=wwwb-app213; path=/
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
HTTP/2 200
server: nginx
date: Wed, 06 Aug 2025 22:13:02 GMT
content-type: text/html; charset=utf-8
x-archive-orig-server: nginx/0.7.61
x-archive-orig-date: Mon, 26 Jul 2010 07:18:08 GMT
x-archive-orig-connection: close
x-archive-orig-status: 200 OK
x-archive-orig-etag: "0893dd6faf8fe5b5da15d2388d0f5bd6"
x-archive-orig-x-runtime: 1341ms
x-archive-orig-content-length: 28713
x-archive-orig-cache-control: private, max-age=0, must-revalidate
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: utf-8
memento-datetime: Mon, 26 Jul 2010 07:18:09 GMT
link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Mon, 26 Jul 2010 07:18:09 GMT", ; rel="memento"; datetime="Mon, 26 Jul 2010 07:18:09 GMT", ; rel="next memento"; datetime="Wed, 28 Jul 2010 05:50:29 GMT", ; rel="last memento"; datetime="Tue, 13 May 2025 06:26:30 GMT"
content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org
x-archive-src: 52_17_20100726051335_crawl103-c/52_17_20100726071745_crawl101.arc.gz
server-timing: captures_list;dur=0.585210, exclusion.robots;dur=0.024404, exclusion.robots.policy;dur=0.013355, esindex;dur=0.010340, cdx.remote;dur=61.446911, LoadShardBlock;dur=420.456506, PetaboxLoader3.datanode;dur=348.669274, PetaboxLoader3.resolve;dur=266.031740, load_resource;dur=651.670171
x-app-server: wwwb-app213
x-ts: 200
x-tr: 1198
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
x-location: All
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
content-encoding: gzip
Eelis's Profile - GitHub
Public Activity
Eelis
- You’re not logged in!
- Login
- Pricing & Signup
- Member Since
- Aug 28, 2008 (about 1 year)
Following 0 coders and watching 7 repositories view all →
Public Repositories (5)
-
math-classes
Last updated Fri Jul 09 14:30:13 -0700 2010
-
geordi
IRC C++ eval bot
Last updated Wed Jul 07 10:15:37 -0700 2010
-
ssrcorn
Last updated Mon Jul 05 06:52:51 -0700 2010
-
hybrid
Certified implementation of abstraction-based hybrid system safety prover.
Last updated Thu Jun 17 11:25:33 -0700 2010
-
qs-avg
Proofs of Quicksort's average case complexity
Last updated Thu Apr 22 03:52:56 -0700 2010
Public Activity 
-
51ebafftalks/coqworkshop2010: Minor fixes.
-
a67fab8Use an additive-expression for the argument of print requests.
-
4bc8fc5Finish Coq workshop 2010 slides.
-
5d5973brename
-
9d9663fSacrifice !'s in parameter declarations to improve presentation.
-
ddaed69Use fewer scare quotes.
- 22 more commits »
-
c12bac6Remove broken/bigops, because its contents are now in theory/s...
-
1ade24dUpdate sequence/cons_list code up to point where it breaks bec...
-
6b6f1detheory/ua_congruence: Polishing.
-
5c2a4bfInsignificant proof simplification.
-
48b0b07Add purely categorical but impractical interface for natural n...