[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Talking about Isabelle
- Subject: Talking about Isabelle
- From: Chris Warburton
- Date: Fri, 01 Dec 2017 12:05:21 +0000
- Resolution: fixed
- State: resolved
We say that problems should be translatable into Isabelle, but we don't
benchmark IsaCoSy...