The files in this folder, apart from this NOTICE, are copied from
https://github.com/openai/math at commit
7ef5c0cc5ca4b0e072b7a050fca09ab24bc6fa3a, from its lean/ directory:

  ComparatorChallenges/AbhyankarSathaye.lean
  ComparatorChallenges/AbhyankarSathaye.json
  OAI/AlgebraicGeometry/AbhyankarSathaye/*.lean (15 files)
  LICENSE

They are the work of OpenAI and are licensed under the Apache License,
Version 2.0, whose text is in LICENSE.

Changes: none. The files are shown as published. The SHA-256 sums of the
17 Lean and JSON files are listed in ../noncoordinate_polynomial.py, which
checks them when it runs.
