Scholar
Yannick Forster
Google Scholar ID: yT74SZQAAAAJ
Cambium Team, Inria Paris
Type Theory
Constructive Mathematics
Interactive Theorem Proving
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,271
H-index
21
i10-index
29
Publications
20
Co-authors
25
list available
Publications
1 items
Determination of the fifth Busy Beaver value
2025
Cited
0
Co-authors
11 total
Dominik Kirst
MSCA Postdoctoral Fellow, Inria Paris
Théo Winterhalter
Inria Saclay
Sam Lindley
The University of Edinburgh
Ohad Kammar
University of Edinburgh School of Informatics
Edith Heiter
PhD student at Ghent University
Felix Jahn
Ph.D. Student, German Research Center for Artificial Intelligence (DFKI)
Gregory Malecha
BedRock Systems, Inc
Andrej Dudenhefner
Department of Computer Science, TU Dortmund University, Germany
