Student or educator? Sign up with your school email and get 6 months of Pro free.

van Doorn, Floris

University of Pittsburgh

1 paper on CoChatORCID 0000-0003-2899-8565

Most cited papers

Verified
Maintaining a Library of Formal Mathematics
van Doorn, F., Ebner, G., & Lewis, R. Y. (2020) · Lecture Notes in Computer Science
Logic, programming, and type systemsMathematics, Computing, and Information Processing
Cited by 29

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free