Picture for Florian Rabe

Florian Rabe

Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint

Add code
May 24, 2023
Viaarxiv icon

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal

Add code
Apr 23, 2019
Figure 1 for Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Figure 2 for Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Viaarxiv icon

Publishing Math Lecture Notes as Linked Data

Add code
Apr 20, 2010
Viaarxiv icon