update urls

Author: ozekik

README.md

@@ -1,17 +1,17 @@
 # Mathesis
 
-[![CI](https://github.com/ozekik/mathesis/actions/workflows/ci.yml/badge.svg)](https://github.com/ozekik/mathesis/actions/workflows/ci.yml)
+[![CI](https://github.com/digitalformallogic/mathesis/actions/workflows/ci.yml/badge.svg)](https://github.com/digitalformallogic/mathesis/actions/workflows/ci.yml)
 [![PyPI](https://img.shields.io/pypi/v/mathesis.svg)](https://pypi.org/project/mathesis/)
-[![Documentation Status](https://img.shields.io/github/actions/workflow/status/ozekik/mathesis/pages/pages-build-deployment?branch=gh-pages&label=docs)](https://ozekik.github.io/mathesis/)
+[![Documentation Status](https://img.shields.io/github/actions/workflow/status/digitalformallogic/mathesis/pages/pages-build-deployment?branch=gh-pages&label=docs)](https://digitalformallogic.github.io/mathesis/)
 [![PyPI downloads](https://img.shields.io/pypi/dm/mathesis.svg)](https://pypistats.org/packages/mathesis)
 
-[Mathesis](//github.com/ozekik/mathesis) is a human-friendly Python library for computational formal logic (including mathematical, symbolic, philosophical logic), formal semantics, and theorem proving.
+[Mathesis](//github.com/digitalformallogic/mathesis) is a human-friendly Python library for computational formal logic (including mathematical, symbolic, philosophical logic), formal semantics, and theorem proving.
 It is particularly well-suited for:
 
 - Students learning logic and educators teaching it
 - Researchers in fields like logic, philosophy, linguistics, computer science, and many others
 
-**Documentation:** <https://ozekik.github.io/mathesis/>
+**Documentation:** <https://digitalformallogic.github.io/mathesis/>
 
 ## Installation
 

docs/contributing.md

@@ -1,4 +1,4 @@
 # Contributing
 
 Contributions are welcome.
-Open an issue or submit a pull request on GitHub <a href="//www.github.com/ozekik/mathesis" target="_blank">ozekik/mathesis</a>.
+Open an issue or submit a pull request on GitHub <a href="//www.github.com/digitalformallogic/mathesis" target="_blank">digitalformallogic/mathesis</a>.

docs/index.md

@@ -5,16 +5,16 @@ title: "Mathesis: Formal Logic Library in Python"
 # Mathesis: Formal Logic Library in Python
 
 [![PyPI](https://img.shields.io/pypi/v/mathesis.svg)](https://pypi.org/project/mathesis/)
-[![Documentation Status](https://img.shields.io/github/actions/workflow/status/ozekik/mathesis/pages/pages-build-deployment?branch=gh-pages&label=docs)](https://ozekik.github.io/mathesis/)
+[![Documentation Status](https://img.shields.io/github/actions/workflow/status/digitalformallogic/mathesis/pages/pages-build-deployment?branch=gh-pages&label=docs)](https://digitalformallogic.github.io/mathesis/)
 [![PyPI downloads](https://img.shields.io/pypi/dm/mathesis.svg)](https://pypistats.org/packages/mathesis)
 
-[Mathesis](//github.com/ozekik/mathesis) is a human-friendly Python library for computational formal logic (including mathematical, symbolic, philosophical logic), formal semantics, and theorem proving.
+[Mathesis](//github.com/digitalformallogic/mathesis) is a human-friendly Python library for computational formal logic (including mathematical, symbolic, philosophical logic), formal semantics, and theorem proving.
 It is particularly well-suited for:
 
 - Students learning logic and educators teaching it
 - Researchers in fields like logic, philosophy, linguistics, computer science, and many others
 
-**Documentation:** <https://ozekik.github.io/mathesis/>
+**Documentation:** <https://digitalformallogic.github.io/mathesis/>
 
 ## Installation
 

mkdocs.yml

@@ -1,7 +1,7 @@
 site_name: "Mathesis"
 site_description: Python library for formal logic (mathematical logic, philosophical logic), formal semantics, and theorem proving
 # strict: true
-site_url: https://ozekik.github.io/mathesis/
+site_url: https://digitalformallogic.github.io/mathesis/
 
 theme:
   name: "material"
@@ -37,8 +37,8 @@ theme:
     repo: fontawesome/brands/github
   # favicon: "favicon.png"
 
-repo_name: ozekik/mathesis
-repo_url: https://github.com/ozekik/mathesis
+repo_name: digitalformallogic/mathesis
+repo_url: https://github.com/digitalformallogic/mathesis
 edit_uri: edit/master/docs/
 # extra:
 #   version:

pyproject.toml

@@ -10,8 +10,8 @@ license = "MIT"
 keywords = ['logic', 'semantics', 'proof', 'philosophy']
 
 [project.urls]
-homepage = "https://ozekik.github.io/mathesis/"
-repository = "https://github.com/ozekik/mathesis"
+homepage = "https://digitalformallogic.github.io/mathesis/"
+repository = "https://github.com/digitalformallogic/mathesis"
 
 [tool.poetry.dependencies]
 python = "^3.9"