cancelpublished ∂ is for dialectica: when proofs and programs meet differentiation

status will change from published to submitted

validating...

comment	ReST text html markdown formatted text plain text

validate

cancel