Concepedia
for the learning of mathematics · 1988 · 36 citations · 0 references
ComputingComputer ScienceMathematicsFormal MethodsInteractive Proof SystemsProof AssistantsProof CommunicationProof WritingTheorem ProvingAutomated Theorem ProvingInteractive Theorem ProvingProof GenerationProof ProductionProof Tactics