https://github.com/heracliteanflux/logic-and-numbers
Exercises in logic and number theory with an emphasis on primality and implementations in the Python programming language.
https://github.com/heracliteanflux/logic-and-numbers
computer-science factorization formal-logic informal-logic logic mathematical-logic predicate-logic primality primality-test propositional-logic python python3
Last synced: 2 months ago
JSON representation
Exercises in logic and number theory with an emphasis on primality and implementations in the Python programming language.
- Host: GitHub
- URL: https://github.com/heracliteanflux/logic-and-numbers
- Owner: heracliteanflux
- Created: 2023-09-12T19:07:29.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-10-18T17:13:07.000Z (over 1 year ago)
- Last Synced: 2023-10-18T18:28:55.288Z (over 1 year ago)
- Topics: computer-science, factorization, formal-logic, informal-logic, logic, mathematical-logic, predicate-logic, primality, primality-test, propositional-logic, python, python3
- Language: Jupyter Notebook
- Homepage: https://heracliteanflux.github.io/logic-and-numbers/
- Size: 2.46 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md