My solutions to Tao's Analysis I, formalized in Lean

Enable CI for solutions branch

Changed files
+1
.github
workflows
+1
.github/workflows/build_book.yml
··· 4 4 push: 5 5 branches: 6 6 - main 7 + - solutions 7 8 pull_request: 8 9 workflow_dispatch: 9 10