Lean-Oscar
An interface between Lean and Oscar. To see what is already working take a look at test.lean. I added the write up of my master's thesis for more detailed information. Feedback and questions are always welcome!
How to install
You need to install Lean and install Oscar
Clone the repository:
git clone https://github.com/todbeibrot/Lean-Oscar.git
Navigate to the project directory:
cd Lean-Oscar
Build the project:
lake exe cache get
and
lake build
Then, open test.lean and see if everything compiles.