search

zhangir-azerbayev / ProofNet

Benchmark for undergraduate-level formal mathematics
MIT License
90 stars 13 forks source link

Typo #22

Closed pkshashank closed 1 month ago

pkshashank commented 4 months ago

It should be E instead of P