EKL—a mathematically oriented proof checker

• Authors:

• Jussi Ketonen

• Affiliations:

• Stanford Univ., Stanford, CA

• Venue:
• Proc. of the conference on 7th international conference on automated deduction
• Year:
• 1984