Search results

Is it possible to use BM25 with Lean4?

Status: Open.

#70 In trishullab/itp-interface;

* jogobeny opened on Jan 14, 2026

Support Coq / Rocq theorems that end with Defined

Status: Open.

#46 In trishullab/itp-interface;

* JasonGross opened on Mar 13, 2025

Support for Coq/Rocq 9.0

Status: Open.

#44 In trishullab/itp-interface;

* JasonGross opened on Mar 13, 2025

Concurrent scaling in itp-interface

Status: Open.

#41 In trishullab/itp-interface;

* RexWzh opened on Mar 12, 2025

Include dependency information in coq datasets

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In trishullab/itp-interface;

* JasonGross opened on Feb 20, 2025