default search action

combined dblp search
author search
venue search
publication search

ask others

12th ThEdu@CADE 2023: Rome, Italy

> Home > Conferences and Workshops > ThEdu
> Home > Conferences and Workshops > CADE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03709
Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05457
Christophe Scholliers:
WebPie: A Tiny Slice of Dependent Typing. 2-27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-06186
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-06186
Merlin Carl:
Using large language models for (de-)formalization and natural argumentation exercises for beginner's students. 28-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-17513
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-17513
Merlin Carl:
Improving the Diproche CNL through autoformalization via GPT-3. 44-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05458
Simon Tobias Lund, Jørgen Villadsen:
Teaching Higher-Order Logic Using Isabelle. 59-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05459
Qinxiang Cao, Xiwei Wu, Yalun Liang:
A Coq Library of Sets for Teaching Denotational Semantics. 79-95
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-13513
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-13513
Jelle Wemmenhove, Dick Arends, Thijs Beurskens, Maitreyee Bhaid, Sean McCarren, Jan Moraal, Diego Rivera Garrido, David Tuin, Malcolm Vassallo, Pieter Wils, Jim Portegies:
Waterproof: Educational Software for Learning How to Write Mathematical Proofs. 96-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05462
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05462
Walther Neuper:
Interactive Formal Specification for Mathematical Problems of Engineers. 120-138

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.