[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Add HashSpec asv benchmark for Isabelle theories



We need to process the TIP, as in QuickSpec's.