Profile of xqyww123 · PyPI

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

2 projects

IsaREPL

Last released Mar 1, 2026

Isabelle REPL client

IsaMini

Last released May 18, 2025

The minimal proof language for Isabelle

Supported by

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Depot Continuous Integration

Google Download Analytics

Pingdom Monitoring

Sentry Error logging

StatusPage Status page