Proofscape is an argument mapping and annotation system for mathematical proofs.
All three activities – translating, compiling, and browsing – take place in PISE, the Proofscape Integrated Study Environment.
| CARVIEW |
Select Language
HTTP/1.1 307 Temporary Redirect
Server: nginx/1.24.0
Date: Tue, 30 Dec 2025 10:27:54 GMT
Content-Type: text/html
Content-Length: 171
Connection: keep-alive
Location: https://docs.proofscape.org/
HTTP/1.1 307 Temporary Redirect
Server: nginx/1.24.0
Date: Tue, 30 Dec 2025 10:27:55 GMT
Content-Type: text/html
Content-Length: 171
Connection: keep-alive
Location: https://docs.proofscape.org/en/stable/
Strict-Transport-Security: max-age=86400;
HTTP/1.1 200 OK
Server: nginx/1.24.0
Date: Tue, 30 Dec 2025 10:27:55 GMT
Content-Type: text/html
Content-Length: 23494
Last-Modified: Tue, 18 Jun 2024 15:44:32 GMT
Connection: keep-alive
ETag: "6671ab60-5bc6"
Cache-Control: no-cache
Accept-Ranges: bytes
Proofscape