Top
New
Ask
Show
Formality, a language combining formal proofs and optimal reductions
3 points by
icc97
6 years ago |
0 comments