辅助证明工具Dedukti中公式的搜索引擎和索引器，Search engine and indexer for formulae in assisted proof tool Dedukti, (2023-04-16, OCaml, 0KB, 下载0次)