https://gia-uh.github.io/logos/index.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/examples/index.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/examples/knights-knaves.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/defining.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/index.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/structural.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/rewrite.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/expressions.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/propositions.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/theorems.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/custom.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/arithmetic.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/tactics/combinators.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/examples/number-theory.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/guide/examples/data-structures.html 2026-06-20T23:27:47.781Z https://gia-uh.github.io/logos/reference/api.html 2026-06-20T23:27:47.781Z