Mathematical Logic through Python - discu.eu

Lobsters

Mathematical Logic through Python https://www.logicthrupython.org 2 comments 1/2/2023 book , math , python

Linking pages

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:logicthrupython.org

Search title: Mathematical Logic through Python

See how to search.

Submit link to: