Issues

• Is it possible to use BM25 with Lean4?

  trishullab/itp-interface#70 · Filter by author jogobeny opened on Jan 14, 2026
  2

• Support Coq / Rocq theorems that end with Defined

  trishullab/itp-interface#46 · Filter by author JasonGross opened on Mar 13, 2025

• Support for Coq/Rocq 9.0

  trishullab/itp-interface#44 · Filter by author JasonGross opened on Mar 13, 2025

• Concurrent scaling in itp-interface

  trishullab/itp-interface#41 · Filter by author RexWzh opened on Mar 12, 2025
  5

• Include dependency information in coq datasets

  enhancement
  trishullab/itp-interface#33 · Filter by author JasonGross opened on Feb 20, 2025