Login / Signup
Jannis Limperg
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Concept Formation
Sequent Calculus
Inductive Reasoning
Oblique Decision Trees
Top Venues
CPP
CoRR
</>
Publications
</>
Jannis Limperg
,
Asta Halkjær From
Aesop: White-Box Best-First Proof Search for Lean.
CPP
(2023)
Jannis Limperg
A novice-friendly induction tactic for lean.
CPP
(2021)
Jannis Limperg
A Novice-Friendly Induction Tactic for Lean.
CoRR
(2020)