No results found

BibtexQuery

A simple command-line bibtex query utility written in Lean 4
Displaying 1-1 of 1 versions of BibtexQuery
Sort by
  1. Not a part of any version track.
    85e1e71
    a month ago
    Released on September 4, 2024 at 7:01:43PM
    Commit 85e1e71 builds on its recent leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    30.0 MB Build archive size: 30042424 bytes.