This is the working repository for the Computer Algebra and Formalization working group at AIM's Open-source cyber-infrastructure for research mathematics workshop.

Summary of Tuesday afternoon.

To build:

• Clone this repository
• cd lean-sage
• lake exe cache get
• Open the root directory in VSCode: code . or File -> Open Folder...