facebookresearch / facebookresearch/miniF2F

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

Open
#10 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Objective-C++
Stars
105
Forks
20
No merged PRs in 30d

Description

Context: https://github.com/facebookresearch/miniF2F/issues/9#issuecomment-1400235032

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.