Sign in
holpy: Interactive Theorem Proving in Python.
Bohua Zhan
Published in:
CoRR (2019)
Keyphrases
</>
interactive theorem proving
open source
programming language
scripting language
open source software
graphical user interface
development tools
machine learning
artificial intelligence
response time
databases
high level
domain specific
data processing