Valentin Robert
Valentin Robert
Affiliation: Galois, Inc.
Pages in this Program
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑