Popular repositories Loading

1. coq-files coq-files Public

   Forked from coq-community/coq-art

   Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

   Coq

2. miniF2F miniF2F Public

   Forked from openai/miniF2F

   Formal to Formal Mathematics Benchmark

   Objective-C++

3. AQuA-Master-Dataset AQuA-Master-Dataset Public

   Forked from jstobart/AQuA-master

   from Poskanzer's paper

   MATLAB

4. AQuA AQuA Public

   Forked from google-deepmind/AQuA

   A algebraic word problem dataset, with multiple choice questions annotated with rationales.