marcelfarres / Arseneau-Bruneau-I-QLSC612

Assignment of Week 1 of BHS

Arseneau-Bruneau-I-QLSC612

Assignment of Week 1 of BHS

Install and run

conda env create --file isabelle.yml

conda activate isabelle

jupyter notebook myAnalysis.ipynb