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-sagelake exe cache get- Open the root directory in VSCode:
code .orFile -> Open Folder...