BibtexQuery
A simple command-line bibtex query utility written in Lean 4
of 3 versions of BibtexQuery
1-3Sort by
Date
1b05159
v4.23.0-rc154.8 MBdbfe2b7
v4.19.0-rc1v4.19.0-rc148.1 MB9e99cb8
v4.15.0v4.15.034.9 MB
1b05159
dbfe2b7
9e99cb8