Simple verification of Rust programs via functional purification
People
Repo info
Activity
Jakob von Raumer
@javra
booh!
Sebastian Ullrich
@Kha
faints
Restioson
@Restioson
hi
Sebastian Ullrich
@Kha
Hey!
Restioson
@Restioson
Now I wanna learn lean so I can use dis
Sebastian Ullrich
@Kha
Sounds like a great idea to me :D . Though I still haven't ported it from Lean 2 to Lean 3...
Restioson
@Restioson
Ah OK. I don't have any formal background in functional programming, or any programming theory for that matter ... Wish me luck lol
What's the difference between lean 2 and 3?
Also, why specifically lean?
Restioson
@Restioson
I.e why did you choose it
_
Sebastian Ullrich
@Kha
That's hard to answer without going into details. But I think it's fair to say that Lean may be the most exciting and promising interactive theorem prover right now.
Restioson
@Restioson
ah ok
Finally back at pc, let me look @ lean now :)
Restioson
@Restioson
Was just wondering, how long has it been since the rust nightly version was updated?
