Avatar for Kaiyu Yang from gravatar.com

Kaiyu Yang

Username    kaiyuy
Date joined   Joined

2 projects

lean-dojo

Last released

LeanDojo: Machine Learning for Theorem Proving in Lean

smt-portfolio

Last released

A simple wrapper to run multiple SMT solvers in parallel.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page