lammich / MCR_SS_2019_FunProgProve Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

Faculty Summer School Manchester 2019: Functional Programming and Interactive Theorem Proving

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
document		document
.gitignore		.gitignore
Demo.thy		Demo.thy
README.md		README.md
ROOT		ROOT
Talk.thy		Talk.thy
slides.pdf		slides.pdf

Repository files navigation

MCR_SS_2019_FunProgProve

Faculty Summer School Manchester 2019: Functional Programming and Interactive Theorem Proving

Getting started

Download and install Isabelle
Start Isabelle and open Demo.thy

About

Faculty Summer School Manchester 2019: Functional Programming and Interactive Theorem Proving

Report repository

Releases

No releases published

Packages

No packages published

Languages