Popular repositories Loading

1. OpenPlatform OpenPlatform Public

   The website of AIxMath community.

   Vue 3 1

2. Lecture-TOC Lecture-TOC Public

   A lecture on lambda calculus. Written in Slidev.

   3

3. slides slides Public

   The slides of AI x Math lectures.

   2

4. acorn-generator acorn-generator Public

   Experiments on AI generated code for Acorn

   Python 2

5. acornlib acornlib Public

   Forked from acornprover/acornlib

   Acorn's standard library of mathematical facts.

   1

6. axm-agent axm-agent Public

   Python 1