Formality, a language combining formal proofs and optimal reductions

3 points by icc97 6 years ago | 0 comments