| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://cogito233.github.io/teaching/
access-control-allow-origin: *
strict-transport-security: max-age=31556952
expires: Tue, 30 Dec 2025 23:38:34 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: 2503:2C10E1:A9535E:BE49A5:69546022
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 23:28:34 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210054-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767137315.736439,VS0,VE208
vary: Accept-Encoding
x-fastly-request-id: 62eb827c267cfb8bf7e4593f06d78911dea668df
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 28 Oct 2025 04:44:03 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"69004a13-1ed1"
expires: Tue, 30 Dec 2025 23:38:35 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 11B6:1F53DD:A86F7A:BD650C:69546022
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 23:28:35 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210054-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767137315.958331,VS0,VE219
vary: Accept-Encoding
x-fastly-request-id: 7a61cf533bbee27ed6bf5715f86ef1af0ca7e087
content-length: 2559
Teaching - Zhiheng Lyu 
Zhiheng Lyu
M.Math student@UWaterloo; Core contributor to VerlTool
- Waterloo, ON, Canada
- Github
- Google Scholar