Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Seventeen Provers under the Hammer

Subjects: interactive theorem proving; proof assistants; Automatic theorem provingTel Aviv; Israel

  • Source: 13th International Conference on Interactive Theorem Proving - ITP 2022https://inria.hal.science/hal-0381463513th International Conference on Interactive Theorem Proving - ITP 2022, Jul

تفاصيل العنوان

×
  • 1-10 ل  22 نتائج ل ""Competitions""