About
Log in
Log in?
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
DTU Findit
DTU
Close advanced
{{problem}}
By field
Using AND/OR
By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}:
(
)
Author:
Schlichtkrull
remove
Interpreted as:
title:(Students' AND Proof AND Assistant AND \\(SPA\\))
Suggestions: Include records that partially match the query
Previous
1
-
2
of
2
Next
1
Conference paper
Students' Proof Assistant (SPA)
The Students' Proof Assistant (SPA) aims to both teach how to use a proof assistant like Isabelle but also to teach how reliable proof assistants are built. Technically it is a miniature proof assistant inside the Isabelle proof assistant. In addition we conjecture that a good way to teach
Year: 2018
Language: English
2
Journal article · Preprint article
Students’ Proof Assistant (SPA) 10.4204/EPTCS.290.1
The Students’ Proof Assistant (SPA) aims to both teach how to use a proof assistant like Isabelle and also to teach how reliable proof assistants are built. Technically it is a miniature proof assistant inside the Isabelle proof assistant. In addition we conjecture that a good way to teach
Year: 2019
Language: English
