Avatar for utensil from gravatar.com

utensil

Username    utensil
Date joined   Joined

2 projects

galgebra

Last released

Symbolic Geometric Algebra/Calculus package for SymPy.

lean4-jupyter

Last released

lean4_jupyter: A Lean 4 Jupyter kernel via REPL

Supported by

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