dupuisf / BibtexQuery

A simple command-line bibtex query utility written in Lean 4
11Updated last week

Related projects

Alternatives and complementary repositories for BibtexQuery