Projects provers Manage

Project History
ActivePublic
Actions

Details

Looks Like: provers
Hashtags: #prover, #provers

Description

External provers for Sledgehammer, SMT etc.

Event Timeline

makarius created this project.Oct 29 2020, 5:15 PM

makarius renamed this project from prover to provers.

makarius edited Description. (Show Details)

makarius added members: makarius, martin.desharnais.Dec 18 2020, 11:20 AM

makarius added a member: mathias.fleury.

makarius added a member: blanchette.