BibtexQuery
A simple command-line bibtex query utility written in Lean 4
1-4 of 4 versions of BibtexQuery
Sort by
Date
f3872ffv4.27.0-rc1v4.27.0-rc158.7 MBf3872ffv4.27.0-rc1v4.27.0-rc158.7 MBdbfe2b7v4.19.0-rc1v4.19.0-rc148.1 MB9e99cb8v4.15.0v4.15.034.9 MB