Login / Signup
Bradley Dragun
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Social Bookmarking
Cut Elimination
Sequent Calculus
Theorem Prover
Top Venues
CoRR
FLAIRS Conference
</>
Publications
</>
Elijah Malaby
,
Bradley Dragun
,
John Licato
Towards Concise, Machine-Discovered Proofs of Gödel's Two Incompleteness Theorems.
FLAIRS Conference
(2020)
Elijah Malaby
,
Bradley Dragun
,
John Licato
Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems.
CoRR
(2020)