https://github.com/radrow/masters-thesis

Liquid types for verification of smart contracts --- my master's thesis in computer science
https://github.com/radrow/masters-thesis

Last synced: 3 months ago
JSON representation

Liquid types for verification of smart contracts --- my master's thesis in computer science

• Host: GitHub
• URL: https://github.com/radrow/masters-thesis
• Owner: radrow
• Created: 2021-09-30T13:32:10.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-10-05T12:39:02.000Z (over 4 years ago)
• Last Synced: 2025-01-22T21:28:31.696Z (over 1 year ago)
• Language: TeX
• Size: 301 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: changelog.tex

Awesome Lists containing this project

README

          
# Liquid types for verification of smart contracts

This repository contains the latex files used to compile my master's thesis