GitHub / yannbolliger / rust-stainless-thesis-report

MSc project on «Formal Verification of Rust with Stainless».

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yannbolliger%2Frust-stainless-thesis-report
PURL: pkg:github/yannbolliger/rust-stainless-thesis-report

Stars: 2
Forks: 0
Open issues: 0

License: None
Language: TeX
Size: 3.9 MB
Dependencies parsed at: Pending

Created at: over 4 years ago
Updated at: over 1 year ago
Pushed at: about 4 years ago
Last synced at: 3 months ago

Topics: compilers, formal-methods, formal-verification, rust, scala, stainless

Loading...