shilangyu / cs550-labs Public

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

Solutions to labs from the formal verification course at EPFL

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
.github/workflows		.github/workflows
lab1		lab1
lab2		lab2
lab3		lab3
lab4		lab4
lab5		lab5
.gitignore		.gitignore
.scalafmt.conf		.scalafmt.conf
README.md		README.md

Repository files navigation

cs550-labs

Solutions to labs in the Formal Verification course at EPFL. Uses stainless the Scala programs verification tool, and Lisa proof assistant.

About

Solutions to labs from the formal verification course at EPFL

scala formal-verification theorem-prover

Report repository

Contributors 2

Languages

Scala 100.0%