https://github.com/romac/msc-thesis-report

MSc Thesis: Systems Modelling with Stainless
https://github.com/romac/msc-thesis-report

Last synced: 8 days ago
JSON representation

MSc Thesis: Systems Modelling with Stainless

• Host: GitHub
• URL: https://github.com/romac/msc-thesis-report
• Owner: romac
• Created: 2017-12-25T13:00:59.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2019-06-24T19:29:30.000Z (over 5 years ago)
• Last Synced: 2024-04-14T07:35:42.251Z (7 months ago)
• Language: TeX
• Homepage:
• Size: 6.48 MB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project