README.md

AA228V/CS238V: Project 0

A light-weight introduction to falsification.

Steps

1. Open Pluto:
   • Run julia in a terminal.
   • Within Julia, run:

     using Pluto
     Pluto.run()

     • This should open Pluto in your browser.
       • If not, checkout the Pluto output for the URL (likely http://localhost:1234/):

       ┌ Info:
       └ Opening http://localhost:1234/ in your default browser... ~ have fun!

2. Open the project0.jl notebook from Pluto through this box (<PATH_TO_AA228VProjects>/project0/project0.jl):

   

   • Click Run notebook code.
3. See project0.jl within Pluto for details.