leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: IMO-grand-challenge

Topic: Request for a simple geometry benchmark


view this post on Zulip Trieu (Aug 13 2021 at 18:41):

I would like to get my hand on the problem set from Deductive Database Approach for Unordered Geometry,

Apparently they can solve 160 problems out of 600, Is there anyone who know or have this problem set handy somewhere? Thank you!


Last updated: Aug 16 2022 at 19:10 UTC

Theme Simple by wildflame © 2016 Powered by jekyll