Site uses cookies to provide basic functionality.

OK
Search Quotes tags
Query
Tags
Author
1 ▲ ▼
Link Quote Stars Tags Author
bf4da68 Algorithms are the computational content of proofs. Algorithms
1 ▲ ▼