Some checks failed
		
		
	
	Lean Action CI / build (push) Has been cancelled
				
			aristotle
GitHub configuration
To set up your new GitHub repository, follow these steps:
- Under your repository name, click Settings.
 - In the Actions section of the sidebar, click "General".
 - Check the box Allow GitHub Actions to create and approve pull requests.
 - Click the Pages section of the settings sidebar.
 - In the Source dropdown menu, select "GitHub Actions".
 
After following the steps above, you can remove this section from the README file.
Description
				
					Languages
				
				
								
								
									Lean
								
								75.2%
							
						
							
								
								
									Python
								
								24.8%