Repositories list

• MathlibLemma

  Public
  Official repository for "MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics". Contains the benchmark datasets and verified folklore le…

  Lean

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 4, 2026Feb 4, 2026

• kimina-lean-server

  Public
  Kimina Lean server (+ client SDK)

  Python

  •

  MIT License

  •27•0•0•0•Updated Nov 19, 2025Nov 19, 2025

• InContextContinualLearning

  Public
  Use in-context learning to solve loss of plasticity and catastrophic forgetting.

  Python

  •

  MIT License

  •0•0•0•0•Updated Feb 16, 2025Feb 16, 2025

• InContextTD

  Public
  Python

  •

  MIT License

  •3•5•0•0•Updated Dec 18, 2024Dec 18, 2024

• .github

  Public
  0•0•0•0•Updated Nov 22, 2024Nov 22, 2024