- Notifications
You must be signed in to change notification settings - Fork5
Project for "Machine-Checked Mathematics" at the Lorentz Center
License
NotificationsYou must be signed in to change notification settings
mseri/BET
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
This project was initiated at theMachine-Checked Mathematics Workshop at the Lorentz Center, 10-14 July 2023.
Developed with @mseri, @marcolenci and Guillaume Dubach, under the support and supervision of Sébastien Gouëzel.
Make sure that Lean 4 is installed, if not,start here.
Clone this repo
git clone https://github.com/mseri/BET.gitthen enter the folder
cd BETdownload mathlib's cache
lake exe cache getand open the folder in your editor to view and edit the Lean code.
Contribution guidelines for this project.