testimony/Testimony.lean at main · testimonyproject/testimony · 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
-- Testimony: a Lean 4 library for machine-checkable models of biblical
-- arguments. See the documentation site, or docs/src/ in this repository.
import Testimony.Text
import Testimony.Attr
import Testimony.Bib.Core
import Testimony.Bib.Attr
import Testimony.Bib.Works
import Testimony.Bib.Registry
import Testimony.Bib.Render
import Testimony.Provenance
import Testimony.Intertext
import Testimony.Scripture
import Testimony.Logic.Basic
import Testimony.Logic.Notation
import Testimony.Logic.Entail
import Testimony.Logic.Package
import Testimony.Logic.Line
import Testimony.Logic.Tactic
import Testimony.Logic.Framework
import Testimony.Logic.Dispute
import Testimony.Logic.Horn
import Testimony.Logic.Solver
import Testimony.Logic.Witness
import Testimony.Logic.Because
import Testimony.Logic.Verdict
import Testimony.Logic.Support
import Testimony.Logic.Map
import Testimony.Logic.Burden
import Testimony.Logic.Dilemma
import Testimony.Logic.Contest
import Testimony.Logic.Warrant
import Testimony.Logic.Postulates
import Testimony.Logic.Credibility
import Testimony.Argument
import Testimony.Arguments.BornInBethlehem
import Testimony.Arguments.BornOfAVirgin
import Testimony.Arguments.CanonicalWitness
import Testimony.Arguments.SolaFide
import Testimony.Arguments.SolaScriptura
import Testimony.Arguments.SpiritBaptism
import Testimony.Semantics.Vocabulary
import Testimony.Semantics.Grammar
import Testimony.Semantics.Ontology
import Testimony.Semantics.Meaning
import Testimony.Semantics.Discourse
import Testimony.Meanings
import Testimony.Ontology
import Testimony.Articles.Howell2003
import Testimony.Checks.Meanings
import Testimony.Checks.Ontology
import Testimony.Checks.Postulates
import Testimony.Checks.Refutations