Sign in
symplectic.
Group project at 2025 ICERM workshop "Autoformalization for the Working Mathematician"
github.com/hrmacbeth/symplectic
by
@hrmacbeth
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
