| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 05 Jan 2026 17:51:56 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"695bfa3c-1cbf"
expires: Fri, 16 Jan 2026 20:04:23 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 5B1B:9F9F0:89C36:9BFFB:696A976E
accept-ranges: bytes
age: 0
date: Fri, 16 Jan 2026 19:54:23 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210047-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768593263.225326,VS0,VE224
vary: Accept-Encoding
x-fastly-request-id: 403f9837f8374043b34a79e2f530009dccfc21c2
content-length: 1946
home | Centaur
Center for Automated Reasoning at Stanford University
The mission of the Center for Automated Reasoning (Centaur) is to accelerate the state of the art in automated reasoning research by creating new theory and algorithms, building world-class tools, and creating automated reasoning-based solutions to real-world problems.