basic-mathematics. A formalization of Basic Mathematics by Serge Lang

github.com/japiirainen/basic-mathematics
by @japiirainen

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.