| .. |
|
Analyze.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
Attributes.lean
|
Update to doc-gen4 commit `9efe8f1`.
|
2023-09-08 14:19:34 -06:00 |
|
AxiomInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
Base.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
ClassInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
DefinitionInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
DocInfo.lean
|
Update to doc-gen4 commit `9efe8f1`.
|
2023-09-08 14:19:34 -06:00 |
|
Hierarchy.lean
|
Update lean and merge dark mode changes.
|
2023-06-20 11:37:53 -06:00 |
|
InductiveInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
InstanceInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
NameExt.lean
|
Revise pdf links to mirror directories.
|
2023-07-17 17:59:17 -06:00 |
|
NameInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
OpaqueInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
StructureInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
|
TheoremInfo.lean
|
Absort doc-gen4 into this project.
|
2023-05-11 07:27:25 -06:00 |
Joshua Potter
b9b54fce14