Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / facebookresearch/miniF2F issues and pull requests

#17 - Fix typo in problem statement

Pull Request - State: closed - Opened by czhang2718 about 2 months ago - 3 comments
Labels: CLA Signed

#16 - Migrate to Lean 4

Issue - State: open - Opened by fzyzcjy over 1 year ago - 2 comments

#15 - Fixing Validation Port

Pull Request - State: closed - Opened by rah4927 over 1 year ago - 1 comment

#14 - Support for Coq

Issue - State: open - Opened by amit9oct over 1 year ago - 1 comment

#13 - 33 New Proofs Found by Machines

Pull Request - State: open - Opened by yangky11 over 1 year ago - 8 comments
Labels: CLA Signed

#12 - `imo_2001_p6` is said to be buggy in HTPS paper

Issue - State: open - Opened by fzyzcjy about 2 years ago - 2 comments

#11 - Merge curriculum learning dataset into this repo main branch?

Issue - State: open - Opened by fzyzcjy about 2 years ago

#9 - Are lean proofs manually written or automatically found?

Issue - State: open - Opened by fzyzcjy about 2 years ago - 6 comments

#8 - [Fix Naming] IMO 2006 p3 -> p6

Pull Request - State: closed - Opened by DyeKuu about 2 years ago - 3 comments
Labels: CLA Signed

#7 - Naming issue for IMO_2006_p6

Issue - State: open - Opened by albertqjiang about 2 years ago - 1 comment

#6 - fix amc12a_2011_p18

Pull Request - State: closed - Opened by Huyongyi-cpu over 2 years ago - 2 comments
Labels: CLA Signed

#5 - Wrong informal statement

Issue - State: closed - Opened by Huyongyi-cpu over 2 years ago - 1 comment

#4 - Update imo_2001_p6.thy

Pull Request - State: closed - Opened by albertqjiang over 2 years ago
Labels: CLA Signed

#3 - Adding Code of Conduct file

Pull Request - State: closed - Opened by facebook-github-bot over 2 years ago

#2 - Adding Contributing file

Pull Request - State: closed - Opened by facebook-github-bot over 2 years ago
Labels: CLA Signed

#1 - minor

Pull Request - State: closed - Opened by glample over 2 years ago
Labels: CLA Signed