[1905.05970] HolPy: Interactive Theorem Proving in Python - discu.eu

Linking pages

Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/python-itp/ 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1905.05970] HolPy: Interactive Theorem Proving in Python

See how to search.

Submit link to: