Skip to content

Commit 0afe12b

Browse files
yegor256yegor256
committed
up
1 parent 0043414 commit 0afe12b

File tree

3 files changed

+166
-137
lines changed

3 files changed

+166
-137
lines changed

‎.github/workflows/lean.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
4848
- name: '🚀 Publish Documentation'
4949
if: ${{ github.ref_name == 'master' && github.event_name != 'pull_request' }}
50-
uses: JamesIves/github-pages-deploy-action@v4
50+
uses: JamesIves/github-pages-deploy-action@v4.7.2
5151
with:
5252
token: ${{ secrets.GITHUB_TOKEN }}
5353
folder: .lake/build/doc

‎docs/references.bib‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,4 +21,4 @@ @book{Krivine93
2121
author={Krivine, Jean Louis},
2222
year={1993},
2323
publisher={Ellis Horwood}
24-
}
24+
}

‎lake-manifest.json‎

Lines changed: 164 additions & 135 deletions
Original file line numberDiff line numberDiff line change
@@ -1,135 +1,164 @@
1-
{"version": "1.1.0",
2-
"packagesDir": ".lake/packages",
3-
"packages":
4-
[{"url": "https://github.com/leanprover-community/batteries",
5-
"type": "git",
6-
"subDir": null,
7-
"scope": "",
8-
"rev": "c016aa9938c4cedc9b7066099f99bcae1b1af625",
9-
"name": "batteries",
10-
"manifestFile": "lake-manifest.json",
11-
"inputRev": "main",
12-
"inherited": false,
13-
"configFile": "lakefile.toml"},
14-
{"url": "https://github.com/leanprover-community/mathlib4.git",
15-
"type": "git",
16-
"subDir": null,
17-
"scope": "",
18-
"rev": "e80c9183755c1371c29bd4f5af338f77b8ac2851",
19-
"name": "mathlib",
20-
"manifestFile": "lake-manifest.json",
21-
"inputRev": null,
22-
"inherited": false,
23-
"configFile": "lakefile.lean"},
24-
{"url": "https://github.com/leanprover/doc-gen4",
25-
"type": "git",
26-
"subDir": null,
27-
"scope": "",
28-
"rev": "099b90e374ba73983c3fda87595be625f1931669",
29-
"name": "«doc-gen4»",
30-
"manifestFile": "lake-manifest.json",
31-
"inputRev": "main",
32-
"inherited": false,
33-
"configFile": "lakefile.lean"},
34-
{"url": "https://github.com/leanprover-community/plausible",
35-
"type": "git",
36-
"subDir": null,
37-
"scope": "leanprover-community",
38-
"rev": "8e5cb8d424df462f84997dd68af6f40e347c3e35",
39-
"name": "plausible",
40-
"manifestFile": "lake-manifest.json",
41-
"inputRev": "v4.15.0-rc1",
42-
"inherited": true,
43-
"configFile": "lakefile.toml"},
44-
{"url": "https://github.com/leanprover-community/LeanSearchClient",
45-
"type": "git",
46-
"subDir": null,
47-
"scope": "leanprover-community",
48-
"rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
49-
"name": "LeanSearchClient",
50-
"manifestFile": "lake-manifest.json",
51-
"inputRev": "main",
52-
"inherited": true,
53-
"configFile": "lakefile.toml"},
54-
{"url": "https://github.com/leanprover-community/import-graph",
55-
"type": "git",
56-
"subDir": null,
57-
"scope": "leanprover-community",
58-
"rev": "ed3b856bd8893ade75cafe13e8544d4c2660f377",
59-
"name": "importGraph",
60-
"manifestFile": "lake-manifest.json",
61-
"inputRev": "v4.15.0-rc1",
62-
"inherited": true,
63-
"configFile": "lakefile.toml"},
64-
{"url": "https://github.com/leanprover-community/ProofWidgets4",
65-
"type": "git",
66-
"subDir": null,
67-
"scope": "leanprover-community",
68-
"rev": "2b000e02d50394af68cfb4770a291113d94801b5",
69-
"name": "proofwidgets",
70-
"manifestFile": "lake-manifest.json",
71-
"inputRev": "v0.0.48",
72-
"inherited": true,
73-
"configFile": "lakefile.lean"},
74-
{"url": "https://github.com/leanprover-community/aesop",
75-
"type": "git",
76-
"subDir": null,
77-
"scope": "leanprover-community",
78-
"rev": "43bcb1964528411e47bfa4edd0c87d1face1fce4",
79-
"name": "aesop",
80-
"manifestFile": "lake-manifest.json",
81-
"inputRev": "master",
82-
"inherited": true,
83-
"configFile": "lakefile.toml"},
84-
{"url": "https://github.com/leanprover-community/quote4",
85-
"type": "git",
86-
"subDir": null,
87-
"scope": "leanprover-community",
88-
"rev": "ad942fdf0b15c38bface6acbb01d63855a2519ac",
89-
"name": "Qq",
90-
"manifestFile": "lake-manifest.json",
91-
"inputRev": "v4.14.0",
92-
"inherited": true,
93-
"configFile": "lakefile.lean"},
94-
{"url": "https://github.com/leanprover/lean4-cli",
95-
"type": "git",
96-
"subDir": null,
97-
"scope": "leanprover",
98-
"rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
99-
"name": "Cli",
100-
"manifestFile": "lake-manifest.json",
101-
"inputRev": "main",
102-
"inherited": true,
103-
"configFile": "lakefile.toml"},
104-
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
105-
"type": "git",
106-
"subDir": null,
107-
"scope": "",
108-
"rev": "d55279d2ff01759fa75752fcf1a93d1db8db18ff",
109-
"name": "UnicodeBasic",
110-
"manifestFile": "lake-manifest.json",
111-
"inputRev": "main",
112-
"inherited": true,
113-
"configFile": "lakefile.lean"},
114-
{"url": "https://github.com/dupuisf/BibtexQuery",
115-
"type": "git",
116-
"subDir": null,
117-
"scope": "",
118-
"rev": "982700bcf78b93166e5b1af0b4b756b8acfdb54b",
119-
"name": "BibtexQuery",
120-
"manifestFile": "lake-manifest.json",
121-
"inputRev": "master",
122-
"inherited": true,
123-
"configFile": "lakefile.lean"},
124-
{"url": "https://github.com/acmepjz/md4lean",
125-
"type": "git",
126-
"subDir": null,
127-
"scope": "",
128-
"rev": "fe8e6e649ac8251f43c6f6f934f095ebebce7e7c",
129-
"name": "MD4Lean",
130-
"manifestFile": "lake-manifest.json",
131-
"inputRev": "main",
132-
"inherited": true,
133-
"configFile": "lakefile.lean"}],
134-
"name": "«phi-calculus»",
135-
"lakeDir": ".lake"}
1+
{
2+
"lakeDir": ".lake",
3+
"name": "\u00abphi-calculus\u00bb",
4+
"packages": [
5+
{
6+
"configFile": "lakefile.toml",
7+
"inherited": false,
8+
"inputRev": "main",
9+
"manifestFile": "lake-manifest.json",
10+
"name": "batteries",
11+
"rev": "c016aa9938c4cedc9b7066099f99bcae1b1af625",
12+
"scope": "",
13+
"subDir": null,
14+
"type": "git",
15+
"url": "https://github.com/leanprover-community/batteries"
16+
},
17+
{
18+
"configFile": "lakefile.lean",
19+
"inherited": false,
20+
"inputRev": null,
21+
"manifestFile": "lake-manifest.json",
22+
"name": "mathlib",
23+
"rev": "e80c9183755c1371c29bd4f5af338f77b8ac2851",
24+
"scope": "",
25+
"subDir": null,
26+
"type": "git",
27+
"url": "https://github.com/leanprover-community/mathlib4.git"
28+
},
29+
{
30+
"configFile": "lakefile.lean",
31+
"inherited": false,
32+
"inputRev": "main",
33+
"manifestFile": "lake-manifest.json",
34+
"name": "\u00abdoc-gen4\u00bb",
35+
"rev": "099b90e374ba73983c3fda87595be625f1931669",
36+
"scope": "",
37+
"subDir": null,
38+
"type": "git",
39+
"url": "https://github.com/leanprover/doc-gen4"
40+
},
41+
{
42+
"configFile": "lakefile.toml",
43+
"inherited": true,
44+
"inputRev": "v4.15.0-rc1",
45+
"manifestFile": "lake-manifest.json",
46+
"name": "plausible",
47+
"rev": "8e5cb8d424df462f84997dd68af6f40e347c3e35",
48+
"scope": "leanprover-community",
49+
"subDir": null,
50+
"type": "git",
51+
"url": "https://github.com/leanprover-community/plausible"
52+
},
53+
{
54+
"configFile": "lakefile.toml",
55+
"inherited": true,
56+
"inputRev": "main",
57+
"manifestFile": "lake-manifest.json",
58+
"name": "LeanSearchClient",
59+
"rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
60+
"scope": "leanprover-community",
61+
"subDir": null,
62+
"type": "git",
63+
"url": "https://github.com/leanprover-community/LeanSearchClient"
64+
},
65+
{
66+
"configFile": "lakefile.toml",
67+
"inherited": true,
68+
"inputRev": "v4.15.0-rc1",
69+
"manifestFile": "lake-manifest.json",
70+
"name": "importGraph",
71+
"rev": "ed3b856bd8893ade75cafe13e8544d4c2660f377",
72+
"scope": "leanprover-community",
73+
"subDir": null,
74+
"type": "git",
75+
"url": "https://github.com/leanprover-community/import-graph"
76+
},
77+
{
78+
"configFile": "lakefile.lean",
79+
"inherited": true,
80+
"inputRev": "v0.0.48",
81+
"manifestFile": "lake-manifest.json",
82+
"name": "proofwidgets",
83+
"rev": "2b000e02d50394af68cfb4770a291113d94801b5",
84+
"scope": "leanprover-community",
85+
"subDir": null,
86+
"type": "git",
87+
"url": "https://github.com/leanprover-community/ProofWidgets4"
88+
},
89+
{
90+
"configFile": "lakefile.toml",
91+
"inherited": true,
92+
"inputRev": "master",
93+
"manifestFile": "lake-manifest.json",
94+
"name": "aesop",
95+
"rev": "43bcb1964528411e47bfa4edd0c87d1face1fce4",
96+
"scope": "leanprover-community",
97+
"subDir": null,
98+
"type": "git",
99+
"url": "https://github.com/leanprover-community/aesop"
100+
},
101+
{
102+
"configFile": "lakefile.lean",
103+
"inherited": true,
104+
"inputRev": "v4.14.0",
105+
"manifestFile": "lake-manifest.json",
106+
"name": "Qq",
107+
"rev": "ad942fdf0b15c38bface6acbb01d63855a2519ac",
108+
"scope": "leanprover-community",
109+
"subDir": null,
110+
"type": "git",
111+
"url": "https://github.com/leanprover-community/quote4"
112+
},
113+
{
114+
"configFile": "lakefile.toml",
115+
"inherited": true,
116+
"inputRev": "main",
117+
"manifestFile": "lake-manifest.json",
118+
"name": "Cli",
119+
"rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
120+
"scope": "leanprover",
121+
"subDir": null,
122+
"type": "git",
123+
"url": "https://github.com/leanprover/lean4-cli"
124+
},
125+
{
126+
"configFile": "lakefile.lean",
127+
"inherited": true,
128+
"inputRev": "main",
129+
"manifestFile": "lake-manifest.json",
130+
"name": "UnicodeBasic",
131+
"rev": "d55279d2ff01759fa75752fcf1a93d1db8db18ff",
132+
"scope": "",
133+
"subDir": null,
134+
"type": "git",
135+
"url": "https://github.com/fgdorais/lean4-unicode-basic"
136+
},
137+
{
138+
"configFile": "lakefile.lean",
139+
"inherited": true,
140+
"inputRev": "master",
141+
"manifestFile": "lake-manifest.json",
142+
"name": "BibtexQuery",
143+
"rev": "982700bcf78b93166e5b1af0b4b756b8acfdb54b",
144+
"scope": "",
145+
"subDir": null,
146+
"type": "git",
147+
"url": "https://github.com/dupuisf/BibtexQuery"
148+
},
149+
{
150+
"configFile": "lakefile.lean",
151+
"inherited": true,
152+
"inputRev": "main",
153+
"manifestFile": "lake-manifest.json",
154+
"name": "MD4Lean",
155+
"rev": "fe8e6e649ac8251f43c6f6f934f095ebebce7e7c",
156+
"scope": "",
157+
"subDir": null,
158+
"type": "git",
159+
"url": "https://github.com/acmepjz/md4lean"
160+
}
161+
],
162+
"packagesDir": ".lake/packages",
163+
"version": "1.1.0"
164+
}

0 commit comments

Comments
 (0)