Skip to content

v0.5.40 — duplicate-key soft-lint + PL pack

Choose a tag to compare

View all tags
@SybilGambleyyu SybilGambleyyu released this 23 Jul 01:53
v0.5.40
01e4354

citesure 0.5.40

  • Soft-lint: empty and duplicate citation keys (error severity; SARIF soft-lint-key); live demo mirror
  • Domain pack pl-classics (Landin next 700, Backus von Neumann style, Reynolds definitional interpreters, Liskov ADTs, Cousot abstract interpretation, Morris types, Earley parsing, Smalltalk-76, colored local type inference, EnerJ) — 10/10 verified
  • Claims mini-bench 105/105 · 29 packs

Install

pip install https://github.com/SybilGambleyyu/citesure/releases/download/v0.5.40/citesure-0.5.40-py3-none-any.whl
citesure soft-lint refs.bib
citesure packs --run pl-classics

Evidence: 256/256 integrity · 105/105 claims · 98 unit tests · 29 packs

Assets 4
Loading