peanut/CITATION.cff at main · hingstona/peanut · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
cff-version: 1.2.0
message: "If you use Peanut in your research, please cite it."
title: "Peanut: a decision procedure for automatic sequences"
authors:
  - family-names: Hingston
    given-names: Andrew
    orcid: "https://orcid.org/0009-0000-5456-706X"
repository-code: "https://github.com/hingstona/peanut"
url: "https://github.com/hingstona/peanut"
abstract: >-
  Peanut is a first-order decision procedure for automatic sequences (a
  Walnut-style prover written in Rust), with a parallel determinization core,
  a guess-and-verify construction for the equality-of-factors predicate,
  base-k / Fibonacci / Tribonacci / Pell numeration, and an in-browser
  WebAssembly build.
license: MIT
version: "0.1.1"
date-released: "2026-08-22"
doi: "10.5281/zenodo.22052755"