Linking pages
Linked pages
- F*: A Proof-Oriented Programming Language http://fstar-lang.org 293 comments
- dataclasses â Data Classes — Python 3.12.4 documentation https://docs.python.org/3/library/dataclasses.html 61 comments
- Dafny https://dafny.org 15 comments
- Induction: Proof by Induction https://softwarefoundations.cis.upenn.edu/lf-current/Induction.html#lab48 5 comments
- Documentation for Online Z3 Guide | Online Z3 Guide https://microsoft.github.io/z3guide/ 4 comments
- Mathematical Logic through Python https://www.logicthrupython.org/ 2 comments
- [1905.05970] HolPy: Interactive Theorem Proving in Python https://arxiv.org/abs/1905.05970 0 comments
Related searches:
Search whole site: site:philipzucker.com
Search title: Knuckledragger: Experimenting with a Python Proof Assistant | Hey There Buddo!
See how to search.