GitHub - pygae/lean-ga-docs: Documentation for https://github.com/pygae/lean-ga

Name		Name	Last commit message	Last commit date
algebra		algebra
analysis		analysis
category_theory		category_theory
combinatorics		combinatorics
control		control
data		data
dynamics		dynamics
examples		examples
field_theory		field_theory
find		find
for_mathlib		for_mathlib
geometric_algebra		geometric_algebra
group_theory		group_theory
init		init
linear_algebra		linear_algebra
logic		logic
meta		meta
order		order
ring_theory		ring_theory
set_theory		set_theory
system		system
tactic		tactic
topology		topology
404.html		404.html
STIXTwoMath.woff2		STIXTwoMath.woff2
STIXlicense.txt		STIXlicense.txt
add_commit.js		add_commit.js
attributes.html		attributes.html
color_scheme.js		color_scheme.js
commands.html		commands.html
decl.bmp		decl.bmp
export_db.json.gz		export_db.json.gz
favicon.ico		favicon.ico
foundational_types.html		foundational_types.html
hole_commands.html		hole_commands.html
import.gexf		import.gexf
index.html		index.html
latex.html		latex.html
meta-og.png		meta-og.png
meta-twitter.png		meta-twitter.png
nav.js		nav.js
notes.html		notes.html
pygments-dark.css		pygments-dark.css
pygments.css		pygments.css
references.html		references.html
search.js		search.js
searchable_data.bmp		searchable_data.bmp
sitemap.txt		sitemap.txt
style.css		style.css
tactics.html		tactics.html