Paul-Nicolas Madelaine | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Robert Y. Lewis
9 publications

research

∙ 01/28/2020

Simplifying Casts and Coercions

This paper introduces norm_cast, a toolbox of tactics for the Lean proof...

0 Robert Y. Lewis, et al. ∙

research

∙ 01/28/2020

Normalizing Casts and Coercions

This system description introduces norm_cast, a toolbox of tactics for t...

0 Robert Y. Lewis, et al. ∙