Login / Signup
Isabelle/Spartan - A Dependent Type Theory Framework for Isabelle.
Joshua Chen
Published in:
CoRR (2020)
Keyphrases
</>
theoretical framework
conceptual framework
theorem prover
mathematical framework
main contribution
theoretical foundation
general theory
information retrieval
search engine
probabilistic model
software engineering
mathematical foundations
mathematical theory