certified mathematics system

mathematics equivalence system

voevodskyが想像し、coqやunimathで体現したmathematics equivalence systemを用いるとAとBのホモトピー等価性を形式証明することで即座にzero knowledge proof…
Read more