Profile of PengLingwei · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

2 projects

tree-sitter-follow

Last released Jan 12, 2025

Follow is a dependent type language for formal proof.

lean4-lambda-calculator

Last released Jan 8, 2025

None

Supported by

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Depot Continuous Integration

Google Download Analytics

Pingdom Monitoring

Sentry Error logging

StatusPage Status page