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.
46376bc
18 days ago
Released on December 4, 2024 at 3:13:00AM
Commit 46376bc builds on its recent leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
34.9 MB
Build archive size: 34922038 bytes.
1
20