Automatic proofing of theorems
1990, student: my yearly project at Taras Shevchenko National University of Kyiv, 1 developer
result: succeeded
OS/Hardware: DOS/PC; languages: C; tools: Turbo C
Proofing of formula style theorems and printing the path of it’s proofing or mismatched axiom.