1a654b9f6c0f92a71f990b4af482f48e6cb1dead960fb3c350944188ac1e5c87  8DB-OpenAI-Covariance-Lemma.lean
f54344ea0653cb256cb91622e78b4cda87d228e9be41f181c85f4f548c49ec1c  manifest.json
299055e2a15f19080d912528ffb9da8acdb919342006da156b4dc062a656d4ea  original-check.log
1443163a1ca69128f2e161cad9723532f078ad5738abb65bea93bdca3b17e148  public-check.log
92ca791e752454fb7f19e78f87373659be20b3b5c756fd4487c47dff44375097  README.md
5192c5b216d60300eaed4b539c4be1001abf0131afb59fa8982c1ff01dd38749  verification.json
