Skip to content
Started 11 mo ago
Took 14 min on workermtahpc
Success

#4491 (Jun 6, 2023, 4:29:06 AM)

Changes

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. adjust Schwartz_Zippel entry

    - Use Pi_pmf from HOL-Probability
    - Generalize theorem(s) in example (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 14 min build duration;
  • 16 min total from scheduled to completion.
Revision: 0a098088745bcc3b83cc81d0c57d5563d90eceb6
Revision: 444e642b5026e772050c8ff71f77ddf7881d69ce