Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 302 server: nginx date: Tue, 05 Aug 2025 04:53:37 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20180611034929 location: https://web.archive.org/web/20180611034929/https://github.com/odge/standard-library server-timing: captures_list;dur=0.905924, exclusion.robots;dur=0.036915, exclusion.robots.policy;dur=0.022821, esindex;dur=0.015028, cdx.remote;dur=47.962788, LoadShardBlock;dur=230.839177, PetaboxLoader3.resolve;dur=92.099670, PetaboxLoader3.datanode;dur=92.455458 x-app-server: wwwb-app202 x-ts: 302 x-tr: 338 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1 set-cookie: wb-p-SERVER=wwwb-app202; 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: Tue, 05 Aug 2025 04:53:38 GMT content-type: text/html; charset=utf-8 x-archive-orig-server: GitHub.com x-archive-orig-date: Mon, 11 Jun 2018 03:49:30 GMT x-archive-orig-transfer-encoding: chunked x-archive-orig-status: 200 OK x-archive-orig-cache-control: no-cache x-archive-orig-vary: X-PJAX x-archive-orig-set-cookie: logged_in=no; domain=.github.com; path=/; expires=Fri, 11 Jun 2038 03:49:30 -0000; secure; HttpOnly x-archive-orig-set-cookie: _gh_sess=K3NYcWM4T2Vsak1jN3AzQXR4dFBDWkZ3Y1BTQm9TRUF1cm80S2pET1lmbXJLbUt0NlV0STlFSDJiaVR0bWRVSmJkM3lWc0ZnOHBDMFhuUG9hb2Q3bmJ1bFh1OTRFeUM5dFdGMHpMdHcvRGM3YTg3SXBMV2ZEVmNuanhEcVZxa0tTaHdHQ25ZUUJYb3pncjZqSVJZa3Rmc3pOSlRJOFFuckJxSmJMT3h6LzR2bDYwemZxRnhPOVgrNCtLTnVIQTd3T2lFd1JUSnU5YVVENlZMMmhmMHd2dGVEbmlwdkYxK2VaMVZwK25vNmxTczJJMmxZWXJrQWViUTNXVG5xajhuK3dtd3Qvcm52NExJMnNwbDZ1dGU3TDJwSG9nSCtVN0RCMUhFclNTSzkvZWN1Q2pRaEQ0azVVbjY2WXdVa1JjVllIWDloM2w0VEMrWTNCUmFMYzZxS2FoMXVwWmxJZDRhS3FHVkRSUTc2WG1oU2VOcFNmT0pCaWRIeUcyOTRaOHpoYTNmMzRpTmI3Z3NBcUYzUXluQ2xMcmZ6ZDZ3VFhDdWFSdHlvSXdQc0x3MD0tLXlnWmo5QzEwTFkvam5MMWNtdllYTEE9PQ%3D%3D--7085001b302ccd783c02e25aa9b76a92a1fc7dd0; path=/; secure; HttpOnly x-archive-orig-x-request-id: 0b97dd84-2829-4191-84a7-a885aebb77d2 x-archive-orig-x-runtime: 0.218896 x-archive-orig-strict-transport-security: max-age=31536000; includeSubdomains; preload x-archive-orig-x-frame-options: deny x-archive-orig-x-content-type-options: nosniff x-archive-orig-x-xss-protection: 1; mode=block x-archive-orig-expect-ct: max-age=2592000, report-uri="https://api.github.com/_private/browser/errors" x-archive-orig-content-security-policy: default-src 'none'; base-uri 'self'; block-all-mixed-content; connect-src 'self' uploads.github.com status.github.com collector.githubapp.com api.github.com www.google-analytics.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com wss://live.github.com; font-src assets-cdn.github.com; form-action 'self' github.com gist.github.com; frame-ancestors 'none'; frame-src render.githubusercontent.com; img-src 'self' data: assets-cdn.github.com identicons.github.com collector.githubapp.com github-cloud.s3.amazonaws.com *.githubusercontent.com; manifest-src 'self'; media-src 'none'; script-src assets-cdn.github.com; style-src 'unsafe-inline' assets-cdn.github.com x-archive-orig-x-runtime-rack: 0.226996 x-archive-orig-x-github-request-id: DC0E:58F9:56DF468:A61CA7A:5B1DF149 x-archive-guessed-content-type: text/html x-archive-guessed-charset: utf-8 memento-datetime: Mon, 11 Jun 2018 03:49:29 GMT link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate", ; rel="first memento"; datetime="Mon, 11 Jun 2018 03:49:29 GMT", ; rel="memento"; datetime="Mon, 11 Jun 2018 03:49:29 GMT", ; rel="next memento"; datetime="Wed, 04 Nov 2020 06:33:58 GMT", ; rel="last memento"; datetime="Wed, 04 Nov 2020 06:33:58 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: archiveteam_github_20180703041217/archiveteam_github_20180703041217.megawarc.warc.gz server-timing: captures_list;dur=0.470664, exclusion.robots;dur=0.021608, exclusion.robots.policy;dur=0.013106, esindex;dur=0.009994, cdx.remote;dur=54.808633, LoadShardBlock;dur=520.287276, PetaboxLoader3.resolve;dur=566.176543, PetaboxLoader3.datanode;dur=142.661208, load_resource;dur=390.747304 x-app-server: wwwb-app202 x-ts: 200 x-tr: 1037 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1 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 GitHub - odge/standard-library: my attempts to make a standard library for Coq

my attempts to make a standard library for Coq

Verilog 100.0%

Verilog

Find file

Clone or download

Fetching latest commit…

Cannot retrieve the latest commit at this time.

README

-nois lets you not import the default library

You can’t perform that action at this time.

Original Source | Taken Source

	Failed to load latest commit information.
	CategoryTheory
	DataStructures
	ALMOSTGOOD.v
	BETTERSTILL.v
	README
	SConstruct

odge/standard-library

Join GitHub today

Clone with HTTPS

Launching GitHub Desktop...

Launching GitHub Desktop...

Launching Xcode...

Launching Visual Studio...

README