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