Skip to content

Improvements and new features for indexing#1290

Open
sacerdot wants to merge 83 commits into
Deducteam:masterfrom
sacerdot:indexing_BO
Open

Improvements and new features for indexing#1290
sacerdot wants to merge 83 commits into
Deducteam:masterfrom
sacerdot:indexing_BO

update syntax in Rocq parser

b93e07c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view