GitHub - gihanmarasingha/modern-maths-pages: Online mathematics textbook in Lean

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
vs		vs
Modern Mathematics with Lean-0.12-library.info.json		Modern Mathematics with Lean-0.12-library.info.json
Modern Mathematics with Lean-0.12-library.olean_map.json		Modern Mathematics with Lean-0.12-library.olean_map.json
Modern Mathematics with Lean-0.12-library.zip		Modern Mathematics with Lean-0.12-library.zip
a9d194e9860941aa7eef.worker.js		a9d194e9860941aa7eef.worker.js
a9d194e9860941aa7eef.worker.js.LICENSE.txt		a9d194e9860941aa7eef.worker.js.LICENSE.txt
display-goal-light.svg		display-goal-light.svg
display-list-light.svg		display-list-light.svg
game_data.json		game_data.json
google_tracker.txt		google_tracker.txt
index.html		index.html
interactive.css		interactive.css
interactive.js		interactive.js
interactive.js.LICENSE.txt		interactive.js.LICENSE.txt
lean_js_js.js		lean_js_js.js
lean_js_wasm.js		lean_js_wasm.js
lean_js_wasm.wasm		lean_js_wasm.wasm
lean_logo.svg		lean_logo.svg