Search results

Typo in statement of mathd_numbertheory_35

Status: Open.

#129 In openai/miniF2F;

· czhang2718 opened on Nov 11, 2024

Bugs in Metamath Problem Statements

Status: Open.

#128 In openai/miniF2F;

· XiaoHLim opened on Sep 29, 2024

Verification of Formal proofs

Status: Open.

#127 In openai/miniF2F;

· sivakishoresk opened on Jul 16, 2024

bug in Lean problem statement of mathd_numbertheory_780

Status: Open.

#125 In openai/miniF2F;

· dwrensha opened on Jan 11, 2023

Suggestion: declare that this repository is no longer maintained.

Status: Open.

#124 In openai/miniF2F;

· yutakang opened on Nov 22, 2022

Exact accuracies on miniF2F be presented more clearly?

Status: Open.

#123 In openai/miniF2F;

· brando90 opened on Nov 1, 2022

FOL/SMT classical tools support?

Status: Open.

#122 In openai/miniF2F;

· brando90 opened on Nov 1, 2022

Coq support?

Status: Open.

#66 In openai/miniF2F;

· brando90 opened on Feb 5, 2022