BibtexQuery
A simple command-line bibtex query utility written in Lean 4
1-8 of 8 versions of BibtexQuery
Sort by
Date
29e7df2v4.29.0-rc1v4.29.0-rc13.9 MB29e7df2v4.29.0-rc1v4.29.0-rc13.9 MB058ada3v4.28.0v4.28.01c5c543v4.28.0-rc1v4.28.0-rc147.0 MBc8a6a4dv4.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