[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Add HashSpec asv benchmark for Isabelle theories
- Subject: Re: Add HashSpec asv benchmark for Isabelle theories
- From: Chris Warburton
- Date: Tue, 05 Jun 2018 16:44:46 +0100
- In-reply-to: <fdff79baf3f62297-0-artemis@nixos>
- References: <fdff79baf3f62297-0-artemis@nixos>
We only bucket.