Grant Passmore

www.imandra.ai

Imandra Inc Austin, TX Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!

Repositories
Issues
Comments

Results 1 issues of


                                            Grant Passmore

Support for `arm64` / Apple M1

Thank you for the incredibly useful `landmarks` library! It works flawlessly for us on x86, but we seem to be out of luck for now on our Apple M1s. Is...