constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
Wikipedia, Python (programming language)
Created on December 8, 2020 at 08:44:03. See the history of this page for a list of all contributions to it.