Login / Signup
Yecine Megdiche
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Theorem Prover
Implementation Details
Xml Retrieval
Evaluation Criteria
Top Venues
CoRR
</>
Publications
</>
Yecine Megdiche
,
Fabian Huch
,
Lukas Stevens
A Linter for Isabelle: Implementation and Evaluation.
CoRR
(2022)