cryptids/literate.toml at main · google-deepmind/cryptids · 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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
landing_page = "Cryptids"
extra_css = ["literate-overrides.css"]

order = ["Cryptids", "BusyBeaver"]

[metadata]
title = "Cryptids & Busy Beaver"
description = "Formally verified conjecture-checking and Busy Beaver Turing machines in Lean 4."

[[targets]]
library = "Cryptids"

[[targets]]
library = "BusyBeaver"

[order_children]
"BusyBeaver" = [
  "BusyBeaver.Defs",
  "BusyBeaver.Basic",
  "BusyBeaver.Bridge",
  "BusyBeaver.Cert",
  "BusyBeaver.BB6",
  "BusyBeaver.BB33",
]
"Cryptids" = [
  "Cryptids.Propositions",
  "Cryptids.Machines",
  "Cryptids.Goldbach21",
  "Cryptids.Zf393",
  "Cryptids.Zf380",
  "Cryptids.Riemann120",
  "Cryptids.Riemann104",
  "Cryptids.Semantics",
]
"Cryptids.Semantics" = [
  "Cryptids.Semantics.Goldbach",
  "Cryptids.Semantics.Zf",
  "Cryptids.Semantics.Zf393",
  "Cryptids.Semantics.Riemann",
  "Cryptids.Semantics.Riemann120",
]
"Cryptids.Semantics.Zf" = [
  "Cryptids.Semantics.Zf.Boot",
  "Cryptids.Semantics.Zf.Gadgets",
  "Cryptids.Semantics.Zf.Dispatcher",
  "Cryptids.Semantics.Zf.Subroutines",
  "Cryptids.Semantics.Zf.RegisterMachine",
  "Cryptids.Semantics.Zf.Soundness",
]
"Cryptids.Semantics.Zf393" = [
  "Cryptids.Semantics.Zf393.Backend",
  "Cryptids.Semantics.Zf393.Program",
]
"Cryptids.Semantics.Riemann" = [
  "Cryptids.Semantics.Riemann.Gadgets",
  "Cryptids.Semantics.Riemann.Dispatcher",
  "Cryptids.Semantics.Riemann.RegisterMachine",
  "Cryptids.Semantics.Riemann.Analytic",
  "Cryptids.Semantics.Riemann.Schmidt",
  "Cryptids.Semantics.Riemann.DigammaBinet",
  "Cryptids.Semantics.Riemann.HorizontalBounds",
  "Cryptids.Semantics.Riemann.VonMangoldtCount",
  "Cryptids.Semantics.Riemann.WeightedStieltjes",
  "Cryptids.Semantics.Riemann.ExplicitLarge",
]
"Cryptids.Semantics.Riemann120" = [
  "Cryptids.Semantics.Riemann120.Backend",
  "Cryptids.Semantics.Riemann120.Program",
  "Cryptids.Semantics.Riemann120.Analytic",
  "Cryptids.Semantics.Riemann120.VonMangoldt",
  "Cryptids.Semantics.Riemann120.Bridge",
]

# Verso's dark mode leaves code tokens black on a dark background.
[theme.dark]
code_color = "var(--verso-text-color)"