- Knuckledragger: Semi-Automated Python Proof Assistant https://github.com/philzook58/knuckledragger 2 comments programminglanguages
Linking pages
Linked pages
- SageMath - Open-Source Mathematical Software System https://www.sagemath.org 291 comments
- Project Jupyter | Home http://jupyter.org 240 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- Microsoft Copilot: Ihr KI-Begleiter https://copilot.microsoft.com/ 54 comments
- http://www.sympy.org/ 24 comments
- State of Knuckledragger, a Semi-Automated Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/state_o_knuck/ 24 comments
- NumPy https://numpy.org 17 comments
- SciPy http://www.scipy.org/ 14 comments
- Welcome to CVXPY 1.3 — CVXPY 1.3 documentation https://www.cvxpy.org/ 5 comments
- Documentation for Online Z3 Guide | Online Z3 Guide https://microsoft.github.io/z3guide/ 4 comments
- Z3Py Guide https://ericpony.github.io/z3py-tutorial/guide-examples.htm 1 comment
- Calcium — Calcium 0.4.0 documentation https://fredrikj.net/calcium/ 0 comments
- The E Theorem Prover https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html 0 comments
- Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/python-itp/ 0 comments
- Mathematics in Lean — Mathematics in Lean 0.1 documentation https://leanprover-community.github.io/mathematics_in_lean/ 0 comments
Would you like to stay up to date with Python? Checkout Python
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - philzook58/knuckledragger: Semi-Automated Python Proof Assistant
See how to search.