Hacker News
- Knuckledragger, a Semi-Automated Python Proof Assistant https://www.philipzucker.com/state_o_knuck/ 24 comments
Linked pages
- Extended real number line - Wikipedia https://en.wikipedia.org/wiki/Extended_real_number_line 73 comments
- GitHub - andrejbauer/marshall: Real number computation software https://github.com/andrejbauer/marshall 47 comments
- Google Colab https://colab.research.google.com/github/philzook58/z3_tutorial/blob/master/Z3%20Tutorial.ipynb 31 comments
- Projectively extended real line - Wikipedia https://en.wikipedia.org/wiki/Projectively_extended_real_line 29 comments
- More Stupid Z3Py Tricks: Simple Proofs | Hey There Buddo! https://www.philipzucker.com/more-stupid-z3py-tricks-simple-proofs/ 3 comments
- GitHub - lark-parser/lark: Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity. https://github.com/lark-parser/lark 1 comment
- Power serious http://www.cs.dartmouth.edu/~doug/powser.html 1 comment
- Justified SMT 1: The Minikanren inside Z3 | Hey There Buddo! https://www.philipzucker.com/minikanren_inside_z3/ 1 comment
- CEGARing Exponentials into Z3 with Intervals and Python Coroutines | Hey There Buddo! https://www.philipzucker.com/z3-cegar-interval/ 0 comments
- A brief introduction to Rational Trigonometry http://www.cut-the-knot.org/pythagoras/RationalTrig/CutTheKnot.shtml 0 comments
- Alternative Axiomatic Set Theories (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/settheory-alternative/ 0 comments
- Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo! https://www.philipzucker.com/python-itp/ 0 comments
Would you like to stay up to date with Python? Checkout Python
Weekly.
Related searches:
Search whole site: site:philipzucker.com
Search title: State of Knuckledragger, a Semi-Automated Python Proof Assistant | Hey There Buddo!
See how to search.