A Web Interface for Isabelle: The Next Generation.

Christoph Lüth Martin Ring

Published in: MKM/Calculemus/DML (2013)

Keyphrases

web interface
web applications
statistical data
theorem prover
search engine
website
user interface
database
web databases
data sets
high level
end users
web search
low cost