System Description: leanK 2.0

• Authors:

• Bernhard Beckert;Rajeev Goré

• Affiliations:

• -;-

• Venue:
• CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
• Year:
• 1998