From 5530a33d27868a792fa70c2d5f8f84418bdd1b4e Mon Sep 17 00:00:00 2001 From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com> Date: Fri, 7 Mar 2025 14:39:52 +0000 Subject: [PATCH] refactor: Remove website data --- docs/404.html | 25 -- docs/Gemfile | 25 -- docs/Gemfile.lock | 313 ------------------------- docs/GetInvolved.html | 124 ---------- docs/WebsiteInstructions.md | 19 -- docs/_config.yml | 55 ----- docs/_layouts/curatedNote.html | 143 ----------- docs/_layouts/default.html | 51 ---- docs/assets/WicksTheoremScreenShot.png | Bin 83984 -> 0 bytes docs/assets/css/lean.min.js | 20 -- docs/assets/css/style.scss | 25 -- docs/index.markdown | 70 ------ docs/sitemap.xml | 30 --- 13 files changed, 900 deletions(-) delete mode 100644 docs/404.html delete mode 100644 docs/Gemfile delete mode 100644 docs/Gemfile.lock delete mode 100644 docs/GetInvolved.html delete mode 100644 docs/WebsiteInstructions.md delete mode 100644 docs/_config.yml delete mode 100644 docs/_layouts/curatedNote.html delete mode 100644 docs/_layouts/default.html delete mode 100644 docs/assets/WicksTheoremScreenShot.png delete mode 100644 docs/assets/css/lean.min.js delete mode 100644 docs/assets/css/style.scss delete mode 100644 docs/index.markdown delete mode 100644 docs/sitemap.xml diff --git a/docs/404.html b/docs/404.html deleted file mode 100644 index 086a5c9e..00000000 --- a/docs/404.html +++ /dev/null @@ -1,25 +0,0 @@ ---- -permalink: /404.html -layout: default ---- - - - -
Page not found :(
-The requested page could not be found.
-PhysLean is a community project and we welcome contributions from everyone. - There are many ways to contribute to the project, from helping with issues, to formalizing results, - to creating informal results. Below are some ideas of how you can get involved. - But feel free to contribute in any way you see fit and think you will have the most - fun from! -
- -The easiest way to contribute is to promote the project, either - by word of mouth or by sharing the project on social media. -
-You can contribute by helping by reading through the curated notes and - suggesting improvements or corrections to names, doc-strings or Lean proofs. - Any suggestion here is welcome! -
- See curated notes -You can contribute by helping with open issues. These range from - suggested formalizations, to infastructure changes needed, to Lean - meta programming tasks. -
- See Issues -The TODO list contains basic Lean or admin related tasks. Most of these - are relatively small tasks like renaming lemmas. -
- See TODOs -- Golfing is the process of making the code more concise and readable, whilst - documentation is the process of adding comments and explanations to the code. -
-Within Physlean are informal definitions and lemmas which need to be formalized - into Lean. You can contribute by helping formalizing these results. -
- View informal results -If you have a background in physics and don't have the time or skills to - formalize results into Lean, you can contribute by adding informal results - (definitions and theorems) to the project. These are English written statements - placed within the project.
-There are a list of min-projects on the Lean Zulip. If you want to get your teeth - really stuck into to formalizing physics, these are a great place for ideas. -
- See the mini projects -Join our community discussions or reach out for help on the PhysLean channel - within the Lean Zulip.
- Join Discussion -
- These notes are created using an interactive theorem
- prover called Lean.
- Lean formally checks definitions, theorems and proofs for correctness.
- These notes are part of a much larger project called
- PhysLean, which aims to digitalize
- physics into Lean. Please consider contributing to this project.
-
- Please provide feedback or suggestions for improvements by creating a GitHub issue
- here.
-
-{% for entry in data.parts %}
-{% if entry.type == "h1" %}
- {{ entry.sectionNo }}. {{ entry.content }}
-{% endif %}
-{% if entry.type == "h2" %}
- {{ entry.sectionNo }}. {{ entry.content }}
-{% endif %}
-{% endfor %}
-
{{ entry.content }}
- {% endif %} - {% if entry.type == "warning" %} -{{ entry.declString }}
- sCd1T_#JN9$Vz@o6a5pQMMZ? 6A
zYaO@ A<>{wRpT}OT1RwrG$>2zutY;=-VbN^%{k6meUoN(
zyKnObjjG7`=rye3^>TA{B@*MapvHIKn^iZb`Mwc%f4X~XYW7uT0uJNK!luoyXyZBY
zp4%Wk^8Y@o_edp|SE=7&`#X+ok4zKALN%LOgPR)rTj^T+4TEsBLSVNtR 7E@h0(0}N9u;3SZWO28~ga#{V`E-*?>o_)w5rTKEa
zWX$;pm(_8IBrrF;=Lt1n)F!MR;C7)Kc>?oY)EF!01l`y(vMr5dnrt@ww09S8Q$(`!@9zk`8BgoM&1;tLC+~|>
zn!njLK)o@9$a!7dJiYJNTtcM7zc2raB%5qLe*FPv=B!=(Wauis!0a_`WSSz{AEAsK
zb(e)$u>2MYJ+ECR8fyh$cRH+5B
G9jOwhX;flwVu%Ja7E)hwFGO&$Ke=no~Z2IEn=>I$d%OqmPs-id*?Rv%MT1
zynCoS7Ue5=Wht$M355<`c?-9PwbD9M%nBBk&1ZyS>U@=
zosed9j7de=1J;8lCG%R3rYg5>TnqkXe?1g<`wm-im@Lw^gC7*+k8eRKy1^Wb&t{gL
zbkx?xx;hfc7Xm7pIE8-ByfIOI@K~#z9of>!`{Iz*^reEmOwh*?*U+zr-b
UdQUWh)5Yv$j<`|FPIz
zxqhU-e!O@ney|*tEm3Lup
Q%C|H&~C`+k`3b}S4bp>p*g&K30AH(knM<(Ei@~6&}9{I6VGq=zIOX^|&-&xWx&eyT%xdb(||M109xd4fM!WdF5
zHiza+*TM-lNf|i&O?*z9et)yUr3LA89j%s1#V**v2=ln=MJ5!Se_4{=t$g(8N#~}7
z@F4M{Caht3;81FVE(*V?bm#gF{FWiEABm(g9l%u;!zV6BW93HBR4~h_kwSY)J{JUI
za{F8m#tQ$6e9uZ*M5f$+Y*`yeoe+H(&w5REN4yMuFBYJ{Xvc(w$tulpvq@y$wQifB
zAXZ+@K%h(#b4?o->cF;4+A&$rU`q|sD|uK9F$@3-faFve?2
z(Ee{%$WvnY-fZDe5ioZ16|&>!IQfLeh0^D+IIt!EeXRa#XOS+$L-Al1V@SZ$i
zZyhi*