Adrian De Lon

Orcid: 0000-0002-2697-7253

According to our database¹, Adrian De Lon authored at least 4 papers between 2020 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Beautiful Formalizations in Isabelle/Naproche.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche.

[BibT_eX]

[DOI]

Adrian De Lon

Peter Koepke

Anton Lorenzen

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

The Isabelle/Naproche Natural Language Proof Assistant.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Interpreting Mathematical Texts in Naproche-SAD.

[BibT_eX]

[DOI]

Adrian De Lon

Peter Koepke

Anton Lorenzen

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

Adrian De Lon

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...