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
#10 - Contributing automatically found proofs mentioned in Facebook's HTPS paper to this repository
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