Robert Y. Lewis

According to our database, Robert Y. Lewis authored at least 11 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

KLean: Extending Operating System Kernels with Lean.

Di Jin, Ethan Lavi, Jinghao Jia, Robert Y. Lewis, Nikos Vasilakis

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2022

A Bi-Directional Extensible Interface Between Lean and Mathematica.

Robert Y. Lewis, Minchao Wu

J. Autom. Reason., 2022

Formalized functional analysis with semilinear maps.

Frédéric Dupuis, Robert Y. Lewis, Heather Macbeth

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Formalizing the ring of Witt vectors.

Johan Commelin, Robert Y. Lewis

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Normalizing Casts and Coercions.

Robert Y. Lewis, Paul-Nicolas Madelaine

CoRR, 2020

Maintaining a Library of Formal Mathematics.

Floris van Doorn, Gabriel Ebner, Robert Y. Lewis

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Simplifying Casts and Coercions (Extended Abstract).

Robert Y. Lewis, Paul-Nicolas Madelaine

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

2019

Formalizing the Solution to the Cap Set Problem.

Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

A formal proof of hensel's lemma over the p-adic integers.

Robert Y. Lewis

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2017

An Extensible Ad Hoc Interface between Lean and Mathematica.

Robert Y. Lewis

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

2014

A Heuristic Prover for Real Inequalities.

Jeremy Avigad, Robert Y. Lewis, Cody Roux

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014