dupuisf / BibtexQuery

A simple command-line bibtex query utility written in Lean 4
11Updated 2 weeks ago

Alternatives and similar repositories for BibtexQuery:

Users that are interested in BibtexQuery are comparing it to the libraries listed below