Skip to content

Latest commit

 

History

History

project0

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 

AA228V/CS238V: Project 0

website html

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.
        ┌ 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.