Aman Goel

icon indicating a website link https://aman-goel.github.io

icon company Amazon Web Services icon location Seattle, WA icon location Applied Scientist @ AWS

Results 1 comments of Aman Goel

Question on Arrays (with extensionality)

Thanks Bruno. I have another related question: Is there a way to specify constant arrays (arrays with all indices mapped to a default value) using Yices C API? This is...