* * *

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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 1920212223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 01:52 am
Powered by Dreamwidth Studios