No Security Risks Detected
This domain appears to be safe and secure
Disclaimer: This assessment is based on automated analysis of publicly available information. Results are for informational purposes only. For critical applications, consult security professionals.
Scan Information
Refresh page after 10 minutes
for updated results
Page Information
Host Information
Technologies
SSL Certificate
Performance Statistics
HTTP Headers
Technology Stack Analysis
HSTS
HTTP Strict Transport Security (HSTS) informs browsers that the site should only be accessed using HTTPS.
Cloudflare
Cloudflare is a web-infrastructure and website-security company, providing content-delivery-network services, DDoS mitigation, Internet security, and distributed domain-name-server services.
HTTP/3
HTTP/3 is the third major version of the Hypertext Transfer Protocol used to exchange information on the World Wide Web.
External Links 9
Lean FRO
lean-lang.org
Lean
lean-lang.org
AILean
www.amazon.science
Robert Y. Lewis
robertylewis.com
interactive theorem proving
browncs1951x.github.io
discrete math
cs22.io
functional programming
cs.cmu.edu
linkedin.com
GitHub
github.com