BibtexQuery is a command-line utility that reads in a bibtex file and performs simple queries. A query is a string
of the form q.querystring, where q is either a for author, t for title, k for key, c for class (i.e. book, article, etc), or w for keywords, and querystring
is a string (without spaces). BibtexQuery reads in a bibtex file, and returns the entries that match all the
queries given as command-line parameters. Note that the entries are processed in such a way that strips diacritics,
spaces and special characters before the queries are performed. In addition, the list of authors is normalized to
firstnamelastname. Hence, for example, Dupuis, Frédéric will match the query a.ericdup.
Note that currently, only a subset of the official Bibtex format is supported; features such as predefined strings and concatenation using # are not supported. It is unclear whether this
will ever be supported in the future; I only wrote this to learn how to do "normal programming" in Lean 4, and I don't personally use these Bibtex features.
Make sure you have a working Lean 4 installation (see here for how to do that), and then type lake build in the main directory. The
executable should appear in .lake/build/bin.