dariakhaetskaya / MethodsOfTranslationAndVerification Public

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

Labs on Translation and Verification course implemented with Flow9 functional language

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
README.md		README.md
lab1.flow		lab1.flow
lab2.flow		lab2.flow
lab3.flow		lab3.flow
lab4.flow		lab4.flow

Repository files navigation

MethodsOfTranslationAndVerification

Labs on Translation and Verification course implemented with Flow9 functional language

About

Labs on Translation and Verification course implemented with Flow9 functional language

Report repository

Releases

No releases published

Packages

No packages published