Contributors: Vladislav Ladenkov( 1st year master ) Robert Drinkin( 2nd year barchelour ) Gleb Novikov( 2nd year barchelour ) This repository is for our HSE course work, which is mainly about smart-contract verification.
-
Notifications
You must be signed in to change notification settings - Fork 0
waryak/HSE_course_work
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
My HSE 2 sem master course work.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published