Skip to content

v0.5.47 — soft-lint --promote + theory pack

Choose a tag to compare

View all tags
@SybilGambleyyu SybilGambleyyu released this 23 Jul 02:45
v0.5.47
f5807e7

citesure 0.5.47

  • Soft-lint --promote: offline promote-ids pass before linting; save with --write-promoted PATH or --inplace-promoted
  • Domain pack theory-classics (Pease–Shostak–Lamport agreement, Parikh CFL, Schaefer SAT, Tompa time-space tradeoffs, Chandra–Merlin conjunctive queries, van Emde Boas priority queue, Delaunay/Voronoi, Lubiw NP-completeness, Lamport clocks, relational equivalences) — 10/10 verified
  • Claims mini-bench 133/133 · 36 packs

Install

pip install https://github.com/SybilGambleyyu/citesure/releases/download/v0.5.47/citesure-0.5.47-py3-none-any.whl
citesure soft-lint refs.bib --promote --inplace-promoted
citesure packs --run theory-classics

Evidence: 256/256 integrity · 133/133 claims · 105 unit tests · 36 packs

Assets 4
Loading