Get started
Author

James Parker

Observed institution: Galois (United States)
ORCID: 0009-0009-4399-8433
Observed ORCID: 0009-0009-4399-8433
OpenAlex ID: A5136247403
Automating Bitvector and Finite Field Equivalence Proofs in Lean
2026 · Elizaveta Pertseva, Valentin Robert, et al. · Lecture notes in computer science
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type