* * *

Jul. 7th, 2017 11:00 am
bamalip: (Default)
[personal profile] bamalip
https://github.com/Kha/electrolysis
A tool for formally verifying Rust programs by transpiling them into definitions in the Lean theorem prover.

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2017 06:34 pm
Powered by Dreamwidth Studios