proofofthought/mkdocs.yml at main · DebarghaG/proofofthought · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
site_name: ProofOfThought
site_description: LLM-based reasoning using Z3 theorem proving
site_author: Debargha Ganguly
site_url: https://debarghaG.github.io/proofofthought

repo_name: debarghaG/proofofthought
repo_url: https://github.com/debarghaG/proofofthought
edit_uri: edit/main/docs/

theme:
  name: readthedocs
  highlightjs: true
  hljs_languages:
    - python
    - json
    - bash

nav:
  - Home: index.md
  - Foreword: foreword.md
  - Installation: installation.md
  - DSL Specification: dsl-specification.md
  - API Reference: api-reference.md
  - Backends: backends.md
  - Examples: examples.md
  - Benchmarks: benchmarks.md
  - Postprocessors: postprocessors.md

markdown_extensions:
  - admonition
  - codehilite:
      guess_lang: false
  - toc:
      permalink: true
  - tables

plugins:
  - search

extra:
  social:
    - icon: fontawesome/brands/github
      link: https://github.com/debarghaG/proofofthought

copyright: Copyright &copy; 2025 Debargha Ganguly