Reservoir
No results found
All Packages
BibtexQuery
A simple command-line bibtex query utility written in Lean 4
Readme
Versions (1)
Dependencies (1)
Dependents (31)
Displaying
1-1
of
1
versions of
BibtexQuery
Sort by
Date
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.
1
20