Y
Hacker News
new
|
ask
|
show
|
jobs
by
pgeorgi
4364 days ago
And it's "cousin" SPARK, which adds proof capabilities:
http://git.codelabs.ch/?p=spark-crypto.git