Santa Clara, New York, London, Bangalore (flexible arrangement requiring office presence 3-4 days weekly)Application Process
Civilian Vessels
，详情可参考safew
监管水平提升为食责险创新创造良好环境
Initially, I preferred higher-order logic for Lean. Jeremy Avigad and I debated extensively (he retains the correspondence showing my resistance to dependent type theory). Higher-order logic allows simpler automation and an even smaller core. I dislike complexity.