Return to Article Details
ProofML – eine Annotationssprache für natürliche Beweise
Download
Download PDF