Skip to content
Started 2 yr 11 mo ago
Took 13 hr
Success

Build #49 (Apr 25, 2021, 12:14:00 AM)

Changes
  1. collecting more lemmas concerning multisets (detail)
Changes
  1. collecting more lemmas concerning multisets (detail)

Started by timer

This run spent:

  • 49 ms waiting;
  • 13 hr build duration;
  • 13 hr total from scheduled to completion.
Revision: 5c4a09c4bc9c48f7fd7d6ff825ffa9e906b2a5d0
Revision: 28fe4ca859cdb506e2203e570460daa181b3958c