Search results

Migrate to Lean 4

Status: Open.

#16 In facebookresearch/miniF2F;

· fzyzcjy opened on Oct 13, 2023

Support for Coq

Status: Open.

#14 In facebookresearch/miniF2F;

· amit9oct opened on Aug 5, 2023

<code>imo_2001_p6</code> is said to be buggy in HTPS paper

Status: Open.

#12 In facebookresearch/miniF2F;

· fzyzcjy opened on Jan 30, 2023

Merge curriculum learning dataset into this repo main branch?

Status: Open.

#11 In facebookresearch/miniF2F;

· fzyzcjy opened on Jan 24, 2023

Contributing automatically found proofs mentioned in Facebook's HTPS paper to this repository

Status: Open.

#10 In facebookresearch/miniF2F;

· fzyzcjy opened on Jan 23, 2023

Are lean proofs manually written or automatically found?

Status: Open.

#9 In facebookresearch/miniF2F;

· fzyzcjy opened on Jan 23, 2023

Naming issue for IMO_2006_p6

Status: Open.

#7 In facebookresearch/miniF2F;

· albertqjiang opened on Nov 24, 2022