Skip to content
/ hw04 Public

Assignment 4: Verification and Implementation

Notifications You must be signed in to change notification settings

csci5535/hw04

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

hw04

This repository contains some minimal starter files for Homework Assignment 4.

.
├── Makefile            a minimal Makefile for your convenience
├── hw04-student.pdf    built from hw04-student.tex
├── hw04-student.tex    a LaTeX template for your submission (if you wish)
├── hw04.pdf            assignment handout
└── ocaml               lab files

Please make sure you have built the pdf from your tex file for your final submission.

About

Assignment 4: Verification and Implementation

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published